Исходное сообщение
"Выпуск MirageOS 4.0, платформы для запуска приложений поверх..." Отправлено freehck, 30-Мрт-22 12:55
> Почему OCaml не взлетел? Взлетел. Просто он сначала взлетел в математических пруверах типа Coq. Где-то в начале нулевых народ начал думать "а что это мы на нём и обычный софт не пишем" -- и на нём накидали MLDonkey, чтобы просто показать, что это возможно. Он вроде кстати до сих пор жив. Затем и Jane Street подключились и во многом на нём построили свой бизнес. Собственно Jane Street и ответственна за то, что язык набрал обороты. В институте INRIA (оттуда OCaml и Coq родом, привет Leroy Xavier) очень неохотно принимали изменения в стандартные библиотеки. В Jane Street просто написали свои, более человеческие, поверх исходных. Взрастили множество хороших специалистов, выпустили серию книг (привет Yaron Minsky), участвовали в развитии opam и dune. OCaml -- это, скажем так, человеческое приглашение разработчиков в строго типизированное функциональное программирование. Безусловно, функциональщики массовым явлением никогда не будут из-за высокого порога вхождения. Но в среде функциональщиков OCaml прочно стоит на ногах.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: