OCaml — что это?

Язык программирования: OCaml Характеристика 1: Функциональные Характеристика 2: Характеристика 3: Полнофункциональные языки (по парадигмам) Пояснения Остались вопросы по OCaml? Задавайте в комментариях!