Тем кто не в курсе, это одна из реализаций функционального языка программирования ML, которая базируется на диалекте CamlLight плюс ОО расширения и модульная система в стиле Standard ML. Поддерживаются практически все UNIX платформы, а также все виды Windows'а, MacOS, MacOS X. Вся прелесть, в том, что однажды созданный байт-код, может выполняться на всех перечисленных выше платформах (32-х и 64-х разрядных). Конечно есть еще компилятор в high-performance native код, а можно выполнять программу как скрипт ;)
В Changes очень много изменений и добавленных фич.
Кому интересно, могут сходить по ссылке, и посмотреть текущие проекты: http://caml.inria.fr/hump.html
А мне сам язык и идея FP+OOP -- в одном флаконе очень понравились, ИМХО.