Новое сообщение в форум Декларативное программирование

Форум	Декларативное программирование
Тема	Как правильно задавать вопросы

Здравствуйте, D. Mon, Вы писали:

DM>Здравствуйте, VladD2, Вы писали:

DM>>>Расширение синтаксиса макросами и в окамле с хаскелем есть. См. camlp4 и template haskell.

VD>>Как-то не убедительно. Сравнивать эти вещи с макрами Лиспа, на мой взгляд, нельзя. TH это вообще игрушка плохо применимая на практике, а Camlp4 - это чистый препроцессор, что недостаточно для серьезного расширения статически-типизированного языка. Да и использовать его крайне не просто.

DM>Ок, с лиспом сравнивать не буду, тут ты прав. 
DM>Что до camlp4, не вижу его большого отличия от макросов немерле. Отдельная фаза, где типизированный код оперирует AST с использованием квазицитат.

VD>>>> А как они могут в лиспе то выглядеть? Там же все структуры являются разновидностью списка. :xz: 
DM>>>Совсем необязательно. Глянь на clojure для примера, там со входа родные вектора и ассоц.массивы.
VD>>Clojure ничем не отличается в этом отношении от CL. Там тоже есть захардкоженные массивы и хэш-таблицы. Типизации это не прибавляет.

DM>Я лишь про "все структуры являются разновидностью списка", это очевидно не так.

DM>В защитники лиспа ты меня зря записал. А за подробности про racket спасибо.

VD>>>>Сдается мне проще взять изначально статически типизированный язык хоршо поддерживающий ФП. Скала/Немер/Окамл отлично заменят Хаскель в реальных задачах.

DM>>>Боюсь, после хаскеля они могут выглядеть недостаточно функциональными. 
VD>>А Лисп тип более функциональный? Ты это серьезно?

DM>Не, я лисп не предлагаю. После хаскеля почти все языки "недостаточно функциональные", судя по реакции хаскеллистов на них.

VD>>Кроме того у Хаскеля есть только одно, довольно спорное, преимущество - ленивость вычислений. В остальном язык как язык не лучше и не хуже многих. Все возможности ФП доступны и в других языках поддерживающих этот стиль.

DM>Система типов у него все же помощнее многих. Разве что скала может пытаться сравниться, но в ней все это сильно сложнее получается. И синтаксического сахара для функциональщины в хаскеле очень много, в других языках в таком же лаконичном стиле писать обычно не получится.

Теги:

Введите теги разделенные пробелами. Обрамляйте в кавычки словосочетания с пробелами внутри, например: "Visual Studio" .NET

Имя, пароль: Загрузить Нравится наш сайт? Помогите его развитию!
Отключить смайлики Получать ответы по e-mail