История изменений

Причём тут зависимые типы?

Я тебе объясняю как зависимые типы будут встраиваться, а не именно про них.

Формализация где? Ты абсолютно ничего о зависимых типах не сказал.

Я же говорю, все сказал:

вот мощные типы прикручивается через функции-расширители среды, что надо то и будет

Не видел такого.

Ну а зачем пишешь?

Я просто спросил, знаешь ли ты Forth, что бы рассказать тебе о том на что будут похожи функции расширители.

попробуй Forth оригинальный

Зачем? Есть языки куда интереснее.

Ну жди тогда выхода метапрога, с интерактивной обучалкой думаю поймешь.

То есть ты сам не знаешь, чем твои расширители лучше?

В том что макросы это какая то хрень привязанная изолентой, которая вообще никак не связанна по нормальному с компилятором, и IDE.

Причём тут зависимые типы?

Я тебе объясняю как зависимые типы будут встраиваться, а не именно про них.

Формализация где? Ты абсолютно ничего о зависимых типах не сказал.
вот мощные типы прикручивается через функции-расширители среды, что надо то и будет

Не видел такого.

Ну а зачем пишешь?

Я просто спросил, знаешь ли ты Forth, что бы рассказать тебе о том на что будут похожи функции расширители.

попробуй Forth оригинальный

Зачем? Есть языки куда интереснее.

Ну жди тогда выхода метапрога, с интерактивной обучалкой думаю поймешь.

То есть ты сам не знаешь, чем твои расширители лучше?

В том что макросы это какая то хрень привязанная изолентой, которая вообще никак не связанна по нормальному с компилятором, и IDE.