Исходное сообщение
"Выпуск языка программирования OCaml 4.14.2" Отправлено Vkni, 22-Мрт-24 07:17
OCaml считается лучшим языком для написания прототипа компилятора. Jane Street пишет всё, включая то, что писать на OCaml, кмк, не следует (low latency). Но им виднее. Другие пишут DSL, см. https://www.dslfin.org/resources.html Собственно, вся история с формальным описанием контрактов началась со статьи Composing Contracts: An Adventure in Financial Engineering. Как несложно увидеть, авторы, за исключением SPJ, французы. Естественно, в дальнейшем они использовали решения, базирующиеся на OCaml, а не Haskell. По-сути, OCaml - это статически типизированный Питон. Поэтому если хочется делать решения, которые значительно более стабильны, чем на Питоне, то отлично подойдёт. Но, конечно, библиотек сильно меньше.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, [email protected] (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> OCaml считается лучшим языком для написания прототипа компилятора. > Jane Street пишет всё, включая то, что писать на OCaml, кмк, не > следует (low latency). Но им виднее. Другие пишут DSL, см. https://www.dslfin.org/resources.html > Собственно, вся история с формальным описанием контрактов началась со статьи Composing > Contracts: An Adventure in Financial Engineering. Как несложно увидеть, авторы, за > исключением SPJ, французы. Естественно, в дальнейшем они использовали решения, базирующиеся > на OCaml, а не Haskell. > По-сути, OCaml - это статически типизированный Питон. Поэтому если хочется делать решения, > которые значительно более стабильны, чем на Питоне, то отлично подойдёт. Но, > конечно, библиотек сильно меньше.
	Введите код, изображенный на картинке: