А Haskell нет?
Я подумываю функциональный язык изучить, один. Не знаю что выбрать, Haskell или F#

Это сообщение отредактировал(а) Леопольд - 21.9.2009, 13:13

Haskell не знаю. За F# стоит мощнейший фреймворк. В VS 2010 F# будет включён как один из основных языков. В общем MS многое вкладывает в его развитие. Но, win-only...

На mono то-же можно поставить, но через то самое место  

Ну, например, конструкции вроде forall и where.



Как внешняя библиотека. Это, правда, уже вопрос эстетики, но все же...



Если бы он рулил еще под чем-то, кроме Windows...

Haskell очень неплох в плане параллелизма за счёт правильных абстракций и мощного рантайма [1]. Причём команда GHC сейчас очень активно работает в этом направлении. Что есть в Haskell для параллелизма:

•  Легковесные потоки (forkIO), как в Erlang и даже легче, и средства синхронизации между ними: очереди (Chan), фьючерсы (MVar), семафоры (QSem).
•  par — самый простой способ распараллелить чистый код. (x `par` y) возвращает y и ставит вычисление x в очередь на исполнение. Если у рантайма найдётся свободный поток, то к моменту, когда нам потребуется x, он уже будет вычислен параллельно. Расстановка `par` никак не изменяет семантику функции и производительность в однопоточной системе.
•  Software Transactional Memory
•  Data Parallel Haskell (обещают допилить в GHC 6.12).

Надо только понимать, что в числодробилках вроде пресловутого перемножения матриц Haskell не конкурент Fortran и C++.

[1] Simon Marlow, Simon Peyton Jones, Satnam Singh. Runtime Support for Multicore Haskell. 2009.

Это сообщение отредактировал(а) Void - 21.9.2009, 17:38

надо так-же понимать, что прогресс не стоит на месте: supercompilation for haskell