Публичная бета Real World OCaml

Потом в тред набигают иксперты, и рассказывают, как это оптимизировать, чтобы летало на хаскеле и питоне.

В первую очередт рассказывают, как включить оптимизацию в компиляторе :P

А можно чуть подробнее?

http://ocaml.org/portability.html и http://hackage.haskell.org/trac/ghc/wiki/Platforms

Живой пример - в моей NetBSD/amd64 официально GHC не поддерживается (я нашёл чьи-то левые сборки совершенно случайно, но ещё их не пробовал), а OCaml вполне себе работает.

Так кто-нибудь соберет для оффлайновго чтения, без необходимости логиниться на гитхабе?

К сожалению, CC-BY-ND не позволяет легально сделать этого

я собирал 7-ой ghc на netbsd - то еще удовольствие.

а теперь давай по пунктам, что тебе не нравится в окамле.

Нет higher kinded types:)

обычно если нужны подобные извраты с типами, то берут Coq :)

В haskell, если смотреть с позиции новичка, классы типов удобны.

Так же, в ocaml немного переусложнен синтаксис, например + и +., когда можно было использовать только +. Ну и - ;;, можно было обойтись и без них.

Так же, haskell более динамично развивается, чем ocaml, что так же плюс к haskell.

Но и у бурного развития есть минусы, кучи библиотек написанные кое-как, которые или собираются с костылями или не собираются вовсе.

Досадно.

например + и +.

есть еще let .. in, но мне это никогда не мешало.

Ну да, это вопрос привычки.

скалу:)

В скале так хорошо с типами? Или это шутка? (скалу вообще не видел, поэтому и спрашиваю)

так хорошо

Ясно, спасибо.

Т.е. для того, чтобы ЯП был хорошим, достаточно, чтобы на нём пейсал один фриковатый жидок?

А почему вы спрашиваете?

А поцчему ви отвечаете вопrосом на вопrос?