OCaml 5.0.0

А вы знали что Rust influenced by OCaml?

А вы знали что Rust influenced by OCaml?

Этого только пещерные троглодиты не знают. В Rust куча конструкций из OCaml и первые версии компилятора Rust были на этом самом OCaml написаны.

Собственно, Rust – это такая попытка натянуть синтаксис C++ на семантику OCaml и заставить это всё работать без GC.

Прекрасные новости!

самое время

спасибо за новость!

кстати говоря, не так уж мало окамлистов на свете. вот например живой проект https://tezos.com/

ну это я молчу о всяких там coq, why3 и прочем.

обн. вот тоже на окамле ребята гуглятся https://www.janestreet.com/

гм, ну и да, чтобы компилятор таки дописать, куча окамлистов нужна как бэ

обн. вот тоже на окамле ребята гуглятся https://www.janestreet.com/

Ну они в основном одни такие. Плюс Facebook с ним заигрывал в виде Reason. А так OCaml очень долгое время был известен в основном как язык для реализации Coq. Потому multicore и пилили 15 лет.

Спустя много лет, наконец-то вышла версия OCaml с эффектами

В последнее время много слышу про алгебраические эффекты, много новых языков появляется с first-class поддержкой, даже MS какой-то research-язык запилили. Даже в не функциональные ЯП пилят либы с какой-то поддержкой эффектов.

Вроде бы эффекты могут заменить монады/монадные трансформеры, а можно ли выразить эффекты средствами монад?

Вроде бы эффекты могут заменить монады/монадные трансформеры, а можно ли выразить эффекты средствами монад?

Да. Собственно, в хачкелле через монады их и запилили. Сначала через free и freer, а сейчас просто через особую магию. Посмотрю библиотеку polysemy, это сейчас самая модная реализация эффектов.

Даже в не функциональные ЯП пилят либы с какой-то поддержкой эффектов.

Это ментальный онанизм. Без мощной статической типизации это не имеет особого смысла. Одна из основных фишек эффектов как раз в том, что в типе функции содержится подробный список исполняемых ею побочных эффектов, к которым можно при вызове снаружи менять интерпретаторы. Представь call/CC из лишпа, только на стероидах.

ненужно

поддержкой многоядерности

одно время присматривался к этому языку пока не узнал, что он не умеет в многоядерность. много лестного в его адрес слышал, но в один миг он просто растворился на моих радарах.

Он много чего не умеет, на самом деле. Я рад, что разрабы наконец стали что-то делать с этим, но блин, что-то как-то поздно.

В предпоследний раз, когда я пытался на нём что-то делать, половина библиотек использовала autoconf за каким-то хреном.

Один из авторов тут рассказывает почему https://signalsandthreads.com/what-is-an-operating-system/#004456. Вообще интересный подкаст, на hn в обсуждении встретил.

We went to a Caml Consortium meeting which was where the industrial users of OCaml a few years ago would present their needs and requirements and we presented our work to that team and they said, “Well, look, you can’t add this without having a memory model to OCaml.” So without a memory model which says, “This is what happens when two threads simultaneously access a single OCaml value.” Without that definition, it’s really hard to ascribe any meaning to multicore OCaml because what does the program do whenever the situation happens?

facepalm.jpg

ТАМ И ЭТОГО НЕ БЫЛО??? Твою жеж мать..

Подумаешь, в C этого 40 лет не было, и никто не жаловался.

А как же F#?

Насколько я понимаю, с приходом .Net Core на Linux появляется достаточно богатая экосистема с шахматами и поэтессами.

А так — тот же OCaml, только в профиль. И Emacs его поддерживает.

Или нет?

Понапридумывают всяких хипстерских язычков, потом из-за этого уникальный софт помирает - MLDonkey, например.

Это другой язык, хоть и с очень похожим синтаксисом.

Ocamенелые фекалии мамонта. Единственный Ocamlщик из интернета которого помню переключился на Python)

Потрясающий кругозор! Постарайся держать в курсе.

Какое его предназначение? Где его эффективно использовать?

Какое его предназначение?

Создание програмного обеспечения для электронных вычислительных машин.

Где его эффективно использовать?

Именно там.

Серъезно, что это за вопросы? На окамле и MLDonkey написан, и 0install - предшественник фэтфака и крапа, и Coq для доказывания теорем, и даже на веб-фронтенд его пихали в виде ReasonML. На этом направлении он, кстати, отметился ещё раз - референс-реализация интерпретатора WebAssembly тоже на окамле.

В общем, «ЯП общего назначения». Разве что ядра на ним не особо пишут.

Разве что ядра на ним не особо пишут.

Ты сильно ошибаешься. Одна из немногих актуальных library OS как раз на нём. Я про mirageos.

Ну так одна - это и есть «не особо пишут».

Ничо, вот будет Линукс микроядром, будут для него сервисы на окамле.