OCaml 2024
who it's for
OCaml developers, library maintainers, concurrency researchers, language and compiler engineers, tooling and devtool maintainers, systems programmers, platform and Windows engineers
topics
SPAKE2+EE with GADTs; endpoint projection choreographies; recursion schemes with memoization; opam 2.2 features; verified concurrent data structures; priority-aware work stealing; distributed actors with remote futures; effects scheduler interface (Picos); Windows OCaml porting; PPX-based differential testing (Mica); project-wide UID -> locations index; structured diagnostics S-expression output
| title | author | length |
|---|---|---|
| B · o · B, a universal & secure file-transfer software in OCaml | Romain Calascibetta | 17m |
Bob produces a polyglot single binary that runs natively on Windows, macOS, Linux and BSD by concatenating architecture-specific object code and a shell stub… | ||
| ChorCaml: Functional Choreographic Programming in OCaml | Rokas Urbonas | 19m |
Claims a first practical OCaml choreographic DSL that compiles unified choreographies into per-role code via endpoint projection, implemented as an interpreted… | ||
| Recursion schemes in OCaml: An experience report | Tim Williams | 18m |
A compiler for a Bloomberg DSL for bilateral financial contracts uses recursion schemes in OCaml to factor traversal code and add optimizations. Claims… | ||
| Opam 2.2 and beyond | Raja Boujbel, Kate Deplaix, David Allsopp | 24m |
Opam 2.2 lands after three years with concrete changes: new commands opam tree and opam y, recursive pinnings with subpath support, Software Heritage source… | ||
| Saturn: a library of verified concurrent data structures for OCaml 5 | Clément Allain, Vesa Karvonen, Carine Morel | 24m |
Saturn is an OCaml 5 library on opam providing stack, queue, skiplist, hash table and work‑stealing deque implementations, benchmarked and partly formally… | ||
| Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml | Stefan K. Muller | 25m |
Priodomainslib extends Domainslib with a priority-aware work-stealing scheduler, a priority-aware mutex wrapper that implements the priority protection… | ||
| Distributed Actors in OCaml | Wenke DU, Gabriel Radanne, Ludovic Henrio | 18m |
Delivered a working actors-ocaml library that uses OCaml 5 features (shared-memory parallelism and algebraic effect handlers) to create, call and await remote… | ||
| Picos — Interoperable effects based concurrency | Vesa Karvonen | 25m |
Picos defines a small interface between effects‑based schedulers and concurrent abstractions, billed as a POSIX of effects, exposing only a multiplexer and… | ||
| First-Class Windows: Building a Roadmap for OCaml on Windows | Sudha Parimala, Benjamin Canou, Pierre Boutillier, David Allsopp | 22m |
Project goal is to make Windows a tier‑1 OCaml platform and the team reports concrete progress: opam 2.2 now installs and runs on Windows, a survey finds ~60%… | ||
| Mica: Automated Differential Testing for OCaml Modules | Ernest Ng, Harrison Goldstein, Benjamin C. Pierce | 20m |
Mica is a PPX extension that derives QuickCheck-based differential tests for any OCaml signature by generating a typed algebraic exper AST, a gen_xer generator… | ||
| Project-wide occurrences for OCaml, a progress report | Ulysse Gérard | 22m |
Project-wide occurrences for OCaml builds a disk-backed map from compiler UIDs to every source location by adding a partial shape-reduction pass in the… | ||
| Structured diagnostics for the OCaml compiler | Florian Angeletti | 23m |
Adds machine-readable S-expression output and a small DSL that generates serializers, printers and validators for compiler diagnostics. Implements a versioned… | ||
| Mixed Blocks: Storing More Fields Flat | Nicholas Roberts | 21m |
Extends OCaml’s runtime to allow mixed blocks where some fields are stored flat (numeric payloads inline) while the GC scans a prefix only, encoded by stealing… | ||
| A Non-allocating Option | Richard A. Eisenberg | 22m |
Adds a new optional type or_null with constructors This and Null that uses the all-zero bit pattern as a non-allocating None, keeps legacy option unchanged… | ||
| Flambda2 Validator | Irene Yoon, Chris Casinghino | 19m |
A validation tool implements translation validation by translating Flambda2 into a lightweight Flambda2 core lambda-style IR and a normalization scheme that… | ||
| On the design and implementation of Modular Explicits | Samuel Vivien, Didier Rémy | 24m |
An OCaml compiler extension implements module-dependent functions that let functions take first-class modules and use module components in result types, fixing… | ||
| nothing matches | ||