Да, у меня от него оч положительные впечатления сложились.

В этот четверг 29.10 в 19:00MSK нас ждёт 1-я часть доклада от @Yuu_chan "OCaml для хаскелиста"!

OCaml – незаслуженно обойдённый вниманием язык, в котором есть вещи, способные заинтересовать даже бывалого функциональщика.

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

Часть 1: а у нас в квартире газ. Окружение, семантика, система типов.

Часть 2: а у вас? Оставшееся про ООП, модули, метапрограммирование и прочие плюшки. Опционально: runtime и FFI.

Всех ждём! Ссылка на зум традиционно появится в чате за 5 минут до мероприятия.

Это же зависит от того, в чём практикуется разработчик. 🤷‍♀️

+100. Если прошивки под МК писать, то Пайтон непрактичный, да

Если конечно не написать на нем ДСЛ для генерации сишного кота, как Айвори и т.п.

Ага, или круд на сях)

"define define", всё с вами понятно.

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

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

Мне кажется, библиотеки – это очень большая цена для такой ниши v_v

> простой и предсказуемый ассемблерный выхлоп, легко (сравнительно) судить о производительности, низкоуровневый ffi с минимальным оверхедом
Звучит как Rust! Но на том писать в разы сложнее, да.

Заметно сложнее, да и многих фич нет, да и код вызывает рвотный рефлекс своими .upgrade().lock().unwrap()

Зато зерокост!..

Blazing fast. 😉

Если есть ffi, то какие проблемы могут быть с библиотеками? Есть один язык (не будем называть его имя вслух), который живет на широкораспространенной экосистеме, пользуется всеми ее библиотеками за счет удобного интеропа, и даже вследствие этого иногда классифицируется как паразитик ланг. А у Хаскелей с Окамлами такие ffi и при этом постоянное сожаление что "нет библиотек"...

> да и многих фич нет
Но как и наоборот. Говорите что хотите, а окамлу всё-таки не хватает типоклассов/трейтов/имплиситов.

> Если есть ffi, то какие проблемы могут быть с библиотеками?

Их нужно написать. 😉

Но на Haskell уже давно полно библиотек.

> Если есть ffi, то какие проблемы могут быть с библиотеками?
Проблемы в эргономике. Если с иноязычной библиотекой приходится манипулировать через всяческие сырые указатели и вручную следить за ресурсами, это нутакое. А обернуть в удобное высокоуровневое API частенько не проще, чем переписать либу с нуля.

Ну опять-таки, тут как повезет. Либ сравнительно много, просто они все из нескольких предметных областей: мультимедиа (спасибо жидкому мылу), системное программирование (мираж). +сишные либы оборачиваются очень легко. У меня как раз было мультимедиа + системщина, и большая часть либ нашлась.

Увы, серьезных battle-tested lib во всех нишевых языках мало, тот же хаскель не исключение.

Ну да, если семантика принципиально другая, тогда наверное... Это вам не Котлин в ЖВМ интегрировать