Nemerle

Balancer>Интересный язык. Хотя мне показалось, что там уши Пакаля торчат
Balancer>И в любом случе это язык насквозь императивный, так что с OCaml трудно сравнивать
Balancer>Скорость языка не оценивал, ещё не скачивал.[»]

Создатели уверяют что он настолько неимперативный насколько может быть неимперативным язык который ложится на дот нет как перчатка на пальцы. Например:

===начало цитаты===
There is no expression versus statement distinction in Nemerle. There are only expressions. In particular, there are no jump statements like break, goto or continue.

There is also no return statement. The value returned from a function is the last value computed in a sequence expression defining function. You can think that there is implicit return at the beginning of each function. This is the same as in ML.
===конец цитаты===

Balancer>А вот, скажем, оператор ++i в чисто функциональном языке как-то не к месту Да и обработка исключений как-то с ФП вразрез идёт
Balancer>В общем, на мой взгляд, это скорее императивный язык, заточнный под функциональный синтаксис, чем наоборот (как в случае OCaml)[»]

С этим соглашусь.