История изменений
Исправление
insw,
(текущая версия)
:
Метапрог был бы интересен, если в нём были бы какие‐то современные концепции:
Декларативное программирование
современные концепции
Декларативное программирование
Хмм. Ну ладно, а объясни почему нельзя наделать блоков для декларативщины? Что будет мешать?
Зависимые типы.
Я уже писал что будут.
Линейные типы.
Корекурсия
Могут быть добавлены в виде либы.
Гомоиконность
Будет.
Макросы (не как в C, конечно) и метапрограммирование вообще.
Ненужно, лучше функции которые расширяют среду. Макросы это какая то древность четырехсотого года до нашей эры.
Исходная версия
insw,
:
Метапрог был бы интересен, если в нём были бы какие‐то современные концепции:
Декларативное программирование
современные концепции
Декларативное программирование
Хмм. Ну ладно, а объясни почему нельзя наделать блоков для декларативщины? Что будет мешать?
Зависимые типы.
Я уже писал что будут.
Линейные типы.
Корекурсия
Могут быть добавлены в виде либы.
Гомоиконность
Будет.
Макросы (не как в C, конечно) и метапрограммирование вообще.
Ненужно, лучше функции которые расширяют среду.