Индекс форумов |
Исходное сообщение |
---|
"Выпуск языка программирования OCaml 4.14.2" Отправлено decaprox, 20-Мрт-24 14:45 |
Ну, к примеру, на нем написаны многие инструменты для формальной веривификации. Например coq. А ком написанный на coq умеет экстрагироваться в код на ocaml для последующей сборки компилятором ocaml. Например такой подход используется в разработке формально верифицированного компилятора C – CompCert. |
При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования. |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |