Минусы OCaml-а

Ха-ха. Мигель написал пост "Окамль сакс, патамушто не Хаскеллъ" :).

Мне вот интересно, а где используется ленивость, кроме довольно редких случаев?

Д. Реймонт писал компилятор на Хаскелле и Камле для сравнения. Ниже его впечатления:

http://www.wagerlabs.com/blog/2007/05/who-let-the-dog.html

There's an elephant in the room. It's there, it's huge, it's something that nobody talks about. OCaml is the practical Haskell. It's functional, statically typed and blazing fast. Performance of OCaml programs is well defined. With OCaml you go from asking why your code is spending 70% of its time collecting garbage to actually trying to polish your code.

I cannot emphasize this enough. GHC takes 2-3-4 minutes to rebuild my project whenever I touch the parser. Ocaml takes 1-2-3 seconds.

Да, кстати, именно практичность OCaml мне и нравится. + Пара дописанных синтаксических расширений, и он уже не так плох... Были бы классы типов, ни о каком haskell даже не задумывался бы.

Собрать что-нибудь написанное на предыдущей версии следующей практически нереально. Подобрать версии библиотек и компилятора так, чтобы одним и тем же компилятором собирались все нужные проекту библиотеки, очень маловероятно, а при количестве библиотек большем трёх - практически не реально.