Исправление AndreyKl, (текущая версия) :
спасибо за новость!
кстати говоря, не так уж мало окамлистов на свете. вот например живой проект https://tezos.com/
ну это я молчу о всяких там coq, why3 и прочем.
обн. вот тоже на окамле ребята гуглятся https://www.janestreet.com/
гм, ну и да, чтобы компилятор таки дописать, куча окамлистов нужна как бэ
Исправление AndreyKl, :
спасибо за новость!
кстати говоря, не так уж мало окамлистов на свете. вот например живой проект https://tezos.com/
ну это я молчу о всяких там coq, why3 и прочем.
обн. вот тоже на окамле ребята гуглятся https://www.janestreet.com/
Исправление AndreyKl, :
спасибо за новость!
кстати говоря, не так уж мало окамлистов на свете. вот например живой проект https://tezos.com/
ну это я молчу о всяких там кок, why3 и прочем.
обн. вот тоже на окамле ребята гуглятся https://www.janestreet.com/
Исходная версия AndreyKl, :
спасибо за новость!
кстати говоря, не так уж мало окамлистов на свете. вот например живой проект https://tezos.com/
ну это я молчу о всяких там кок, why3 и прочем.