История изменений
Исправление monk, (текущая версия) :
monk, использование метаданных легко решает все те вопросы ради которых изучают racket, haskell …
Не решает. Это перпендикулярные наборы свойств.
Метаданные позволяю автоматизировать генерацию стандартных алгоритмов по структурам данных. Но метаданные не добавят в язык массовую многопоточность на зелёных потоках, не дадут синтаксических конструкций для наглядного описания нетривиального алгоритма, не дадут надёжного управления памятью.
Racket и Haskell удобны именно тем, что на верхнем уровне описания алгоритм можно описывать именно так, как он был бы описан на языке межчеловеческого общения. В результате практически не требуется писать дополнительную документацию, объясняющую, что должна делать программа.
И никто не мешает использовать метаданные в Racket и Haskell, объединяя их преимущества.
Исходная версия monk, :
Не решает. Это перпендикулярные наборы свойств.
Метаданные позволяю автоматизировать генерацию стандартных алгоритмов по структурам данных. Но метаданные не добавят в язык массовую многопоточность на зелёных потоках, не дадут синтаксических конструкций для наглядного описания нетривиального алгоритма, не дадут надёжного управления памятью.
Racket и Haskell удобны именно тем, что на верхнем уровне описания алгоритм можно описывать именно так, как он был бы описан на языке межчеловеческого общения. В результате практически не требуется писать дополнительную документацию, объясняя, что должна делать программа.
И никто не мешает использовать метаданные в Racket и Haskell, объединяя их преимущества.