Компилится в более компактный бинарь и обладает более предсказуемой производительностью. Удобно запускать на малинке какой-нить. Если упороться, то на голом железе даже.

Микроядро, вот это всё

Гикам повезло! Но я все же думаю над более распространенными кейсами

Эмбед по-распространённей будет, чем прод на хаскеле

А Эмбед на ОКамле?

Значит не про хаскел. Поскольку он не распространенный кейс (

^ this

Окамл это очень кайфовый язык для системного программирования, что-то из ниши Го: простой и предсказуемый ассемблерный выхлоп, легко (сравнительно) судить о производительности, низкоуровневый ffi с минимальным оверхедом, есть либы в этой области от мираж и джейн стрит. При этом в отличие от Go язык очень выразительный, хорошая система типов.

Как замена Го язык очень годный для тех, кто хочет что-то более выразительное, хоть и ценой библиотек.

Так он и не кейс. Кейс - это бизнес-задача

Про «зачем окамл хаскелисту» резюмировать, наверное, так:
– подчерпнуть интересное про синтаксис, систему типов и прочие языковые возможности;
– если от безумных хаскельных расширений перегревается моск, а боринга не хватает по выразительности;
– если нужны более низкоуровневые алгоритмы с более предсказуемой эффективностью;
– если нужно писать под вебчик – ReScript, кажется, уделывает PureScript и GHCjs по перформансу, и в отличие от первого ещё и может изоморфно компилироваться в натив.

Ну да, инфраструктурщина и железки, это не бизнес теперь

> – подчерпнуть интересное про синтаксис, систему типов и прочие языковые возможности;

Сразу нет?

"подчерпнуть" — сразу нет!

главное не зачеркнуть

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

Злые вы -.-

Не, ну если подчерпнуть, то это про какую-то субстанцию. Очевидно, подчерпнуть субстанции из ОКамла

Алексей опередил

шутка про говно от бывшего питониста