Nemerle

Наткнулся тут на функциональный языка

Наткнулся тут на описание функционального языка...

он не разу не функциональный, он только даёт возможность писать в аля функциональном стиле. но .нет там не даёт покоя: типы можно не указывать только во вложенных функциях (хотя обещают исправить), хвалятся богатой библиотекой, но она объектная как не крути - получается гибрид какой-то, ввели аля систему модулей, то по сути эти модули - статичные классы. В общем идея интересная, но натянуть её на .нет сложновато. если получится - будет оч. хорошо.

хотя всякие паттерны,... уже тепеь не отнять

Стоит на него обратить внимание, если интересует программирования для .NET. Это не функциональный язык, а ОО с элементами функциональщины. Есть макры (читай On Lisp).

Насколько я понял модули немерла - просто синтаксический сахар.

> типы можно не указывать только во вложенных функциях (хотя обещают исправить)

Очень интересно будет посмотреть. Ведь в .NET есть неограниченная перегрузка функций. Решение в стиле классов типов ИМХО там не пройдет.

> Есть макры (читай On Lisp).

"On Lisp" конечно читать надо. Но немерловским макрам до лисповских... очень далеко.

P.S. Жаль (а может и хорошо? :)), что нет ни одной более-мение полной реализации CL под .NET.

Да и фиг с ним - и так работы хватает :(

Увожаемые, просветите в двух словах, что такого особенного в макросах лиспа? Что они умеют?

В двух словах? Эта... да-а-а... :)

"Всё (почти) есть список. Единица кода - тоже список. Лисп хорошо обрабатывает списки. Макра - спец. форма (вроде функции), возвращающая список, который воспринимается (компилятором? интерпретатором?) как код (единица кода). Внутри макры для получения желаемого _списка_ вы можете использовать всю мощь самого лиспа (со всеми библиотеками и прочее) плюс некоторый сахарок. Ну и естественно все те макры, которые уже в нём есть и которые вы написали до этого :) Т.е. макры умеют всё, что умеет лисп. Но только (-ли?) для получения кода."

А вообще надо пробывать.