В начале кратко о том, что на экране. На экране старый fluxbox, новый GNU/Emacs и тоже достаточно старая vmware. Но ду это всё не интересно, самое главное...
OCAML -- самое главное. Разбираться начал вчера. Что понравилось? Многое понравилось. Например реализация ФП порадовала (всякие там let, очень удобны). match любопытно, type интересно. Синтаксис вроде бы тоже приятный. Не Python конечно, но уже и не C++. Сам язык чем-то во многом схож с Lisp'ом, что тоже хорошо.
Ещё понравилось то, что к нему уже многое сделали :-) Тут тебе и компилятор, тут и интерпретатор... Красота. Порадовала также скорость. На сайте говорят, что он между C и C++. То есть я так понял, медленнее первого, но быстрей второго.
Из недостатков, отсутствие качественного GUI (у Java он есть) и нет библиотек по работе с OpenGL (есть, но староватые), реализации SDL вроде тоже нет. Но это всё дело поправимое. Самые же крупные минусы, это очень маленький объём документации на русском. Да и русских кэмл-гуру тоже трудно найти (в отличее от перловых или там сишных, тех пруд-пруди). Вопросы некому задать :-(
А ведь вопросов просто море. Например я плохо разобрался с match. Такая функция для меня так и осталась загадкой.
let min_rat pr = match pr with
((_,0), p2) -> p2
| (p1, (_, 0)) -> p1
| (((n1, d1) as r1), ((n2, d2) as r2)) ->
if (n1 * d2) < (n2 * d1) then r1 else r2 ;;
Тоже самое можно сказать и о:
let eq_rat cr = match cr with
((_,0), (_,0)) -> true
| ((_,0), _) -> false
| (_, (_, 0)) -> false
| ((n1, 1), (n2, 1)) when n1 = n2 -> true
| ((n1, d1), (n2, d2)) when ((n1 * d2) = (n2 * d1)) -> true
| _ -> false ;;
Что это ещё за ((_,0), (_,0)) ?
В остальном же всё нормально. Имеется "хорошая" книжка от O'Reilly (дочитал до Sum types) и прекрасный режим для Emacs'а (tuareg_mode).
Изучаем OCAML :-)
