Blog
The OCaml Planet
Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.
Want your Blog Posts or Videos to Show Here?
To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.
[OCaML'23] Eio 1.0 – Effects-based IO for OCaml 5 Thomas Leonard, Patrick Ferris, Christiano Haesbaert, Lucas Pluvinage, Vesa Karvonen, Sudha Parimala, KC Sivaramakrishnan, Vincent Balat, Anil Madhavapeddy Eio provides an effects-based direct-st...
[OCaML'23] Less Power for More Learning: Restricting OCaml Features for Effective Teaching Max Lang, Nico Petzendorfer We present a framework for sandboxing and restricting features of the OCaml programming language to effectively automate the g...
[OCaML'23] MetaOCaml Theory and Implementation Oleg Kiselyov Quasi-quotation (or, code templates) has long been used as a convenient tool for code generation, commonly implemented as a pre-processing/translation into code-generation combinators....
[OCaML'23] Modern DSL compiler architecture in OCaml our experience with Catala Louis Gesbert, Denis Merigoux In this presentation, we intend to show a state-of-the-art DSL implementation in OCaml, with concrete examples and experience reports. ...
[OCaML'23] Osiris: an Iris-based program logic for OCaml Arnaud Daby-Seesaram, François Pottier, Armaël Guéneau Osiris is a project that aims to help OCaml developers verify their code using Separation Logic. The project is still young: we curre...
[OCaML'23] Owi: an interpreter and a toolkit for WebAssembly written in OCaml Léo Andrès, Pierre Chambart, Eric Patrizio, Dario Pinto This presentation introduces Owi, an OCaml-based interpreter and toolkit for WebAssembly (Wasm). Owi aims to pr...
[OCaML'23] Parallel Sequences in Multicore OCaml Andrew Tao I present my implementation of a parallel sequences abstraction that utilizes the support for shared memory parallelism in the new OCaml 5.0.0 multicore runtime. This abstraction allows...
[OCaML'23] State of the OCaml Platform 2023 Thibaut Mattio, Anil Madhavapeddy, Thomas Gazagnaire, David Allsopp This paper reflects on a decade of progress and developments within the OCaml Platform, from its inception in 2013 with the release o...
[OCaML'23] Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the code Edwin Török Migration to OCaml 5 requires updating a lot of C bindings due to the removal of naked pointer support. Writing OCaml user-defined primitives i...
Explore how high school robotics software was developed that works on Android phones and desktop PCs. Use OCaml alongside common programming languages like Java and Python. DkSDK Subscription: https://diskuv.com/pricing/ Learning OCaml: https:...
