Отож ми поговоримо про улюблену мову facebook та монстрів фінтеху типу bloomberg та Jane Street Capital

Ocaml мова не нова но мова шо активно розвивається. Її придумали в академічних колах у франції й найвідоміша програма на ocaml це Coq - система автоматичного доведення теоремну й звісно facebook мессенджер написаний на окамл. Flow - система типів для JS та Hack - типізований PHP написаний на окамл Ocaml надихнув дизайнерів scala якій часто називають ocaml for JVM й scala 3.0 це майже ocaml Rust це ocaml for system programming перший компілятор rust був написаний на ocaml F# це майстерно вкрадений та адаптований ocaml з більш консистентним синтаксисом. Ото ж давайте розберемся чому всі так хочуть писати на ocaml та що таке Reason ML , bucklescript , rescript й чому автор react так прагне адаптації ocaml на фронтенді