K
Но ответ: да, OCaml подходит очень много для чего. Некоторые пишут на нём сетевой стек и не сильно проигрывают сишечке
Size: a a a
2021 April 05
AT
"Некоторые" — это Mirage или есть ещё кто-то? 😃
K
Да, они
PS
Странно, что приводятся в пример сетевые приложения, а не большие компиляторы, написанные на OCaml :)
AT
А они все маленькие по меркам Java/C++ — плотность кода-то в несколько раз выше!
PS
Ну CompCert ведь тоже немаленький компилятор. Я не уверен, что есть более крупные компиляторные проекты на Ocaml.
AT
CompCert написан-то на Gallina (Coq), а не OCaml. 🤷♀️
KR
Rust был написан на Ocaml.
PS
Там ведь есть и просто код на OCaml, и результат трансляции из Coq. На мой взгляд, все это позволяет оценить пригодность OCaml для крупных компиляторных проектов.
AT
Да, я думаю, пригодность можно оценить и по самому компилятору OCaml, или даже такой "мелочёвке" как ReScript и кто там ещё. Типа, Andromeda proof assistant?
KR
Вообще есть несколько неприятных моментов в Ocaml: тенденция превращения в кубик-рубик-монолит кода компании JS, непонятная поддержка Windows (основные системы - Linux и OSX), отсутствие lts релизов OPAM.
KR
И, конечно, ppx, которые могут временами отваливаться.
K
Ну про janestreet я сказал бы, что это преувеличение
KR
И сборочная система dune имеет отвратительную документацию.
KR
На фоне остального именно так - вы потянете одну маленькую библиотеку, она вытащит Core и сопутствующие.
KR
В остальном, если не смущает однопоточность (muticore - это как термояд), экосистема подходит для больших и долгоживущих проектов.
K
Такие "маленькие" библиотеки действительно есть, но большинство, ИМХО, этим не страдает
PG
Компиляция сложный языковых структур (ну не всегда сложных, например, плюсовых template функций и constexpr). Иногда с компиляторными оптимизациями в плане interprocedural analysis, loop unrolling, и.т.д.
PG
В смысле? В OCaml с async плохо?
卜
мне ещё в Ocaml не хватает, как и в других языках, абстрагирования Pattern Matching