A tutorial series on type inference begins, covering the Damas-Hindley-Milner type system, unification, bidirectional type-checking, Algorithm J, row polymorphism, newtype declarations, type annotatio…
After two years of using OCaml to rewrite the Austral compiler, the author shares a critical assessment of the language, highlighting its syntactic flaws and pragmatic shortcomings while acknowledging…
Developer Anil Madhavapeddy released ocaml-deepseek, an OCaml library that integrates DeepSeek's open-weight LLM directly into applications via a native inference engine, enabling local, dependency-fr…
Jane Street developed PyOCaml, a bridge between OCaml and Python, but faced memory management issues where Python objects represented in OCaml were deallocated late. Using OxCaml language extensions, …
A new OCaml course book for the NPTEL MOOC platform runs code directly in the browser with no installation or server, aiming to eliminate the setup barrier that has long plagued beginners. The book, w…
Developer Anil Madhavapeddy released TESSERA v1.1 and GeoTessera 0.9, improving temporal embeddings and S3+Zarr support, while also advancing io-uring libraries for OCaml. The updates address performa…
Orcaset, a framework for building financial statement models, resolves circular import errors in Python by using local import statements that delay module loading until functions are executed. This ap…
A new open-source ecosystem called Riot launched for the OCaml programming language, providing a complete stack with a multi-core actor-model runtime, package registry, and standard library. The proje…
The ML Family Workshop 2026 will take place on August 28, 2026, with in-person events co-located with ICFP'26 in Indianapolis and FW'26 in Paris, and will feature a single Program Committee for submis…
Notes for a CS51 guest lecture comparing OCaml and Elm, highlighting Elm's common uses in web apps, data visualization, and 3D graphics with specific library examples. It also discusses Elm's advantag…
Side-by-side comparison of syntax differences between OCaml and Elm, covering expressions, types, functions, type aliases, and algebraic data types (ADTs). It includes code examples showing how common…