OCaml 2022
who it's for
OCaml runtime engineers, OCaml library authors, opam maintainers, build and CI engineers, tooling and infrastructure developers, testing and quality engineers
topics
large pages allocator; stack allocation for OCaml; incremental computation with fibers; sandboxed cross-platform OCaml builds; two-stage PPX binary tracing; opam root metadata and invariants; relocatable opam switches; datatype-centric code generation; complete stream fusion codegen; composable effect-based schedulers; parallel testing for OCaml 5; web-based FLAT teaching toolkit
| title | author | length |
|---|---|---|
| Efficient “out of heap” pointers for multicore OCaml | Guillaume Munch-Maccagnoni | 18m |
Implements a large pages allocator (inspired by Go) that reserves contiguous ranges (tested with 64–256 MB reserved ranges and Linux transparent hugepages) and… | ||
| Stack allocation for OCaml | Stephen Dolan, Leo White | 22m |
Adds a modal type extension to OCaml that lets values be allocated on a separate stack when safe, implemented in the compiler and available on GitHub. The… | ||
| Memo: an incremental computation library that powers Dune | Andrey Mokhov, Arseniy Alekseyev | 17m |
Memo is an OCaml incremental-computation library that powers Dune 3.0’s faster file-watching build mode, providing concurrency with fibers, dynamic dependency… | ||
| Homogeneous builds with OBuilder and OCaml | Tim McGilchrist, David Allsopp, Patrick Ferris, Antonin Décimo, Thomas Leonard, Anil Madhavapeddy, Kate Deplaix | 19m |
OBuilder provides sandboxed, cross-platform OCaml builds used in production by checks.ocaml.io, OCaml-CI and opam-repo-ci, supporting Linux, macOS, Windows and… | ||
| Tracing OCaml Programs | Darius Foo, Wei-Ngan Chin | 18m |
A framework instruments OCaml with a two-stage PPX pipeline that marshals values into binary traces during the first build and uses type info in a second… | ||
| Supporting a decade of opam | David Allsopp, Raja Boujbel, Kate Deplaix, Louis Gesbert | 17m |
OPAM evolves from 1.2 (2014) to 2.0, 2.1 and an imminent 2.2; development bottlenecks arise when two major versions coexist and plugins compiled against one… | ||
| Introducing the Bindoj library, a datatype-centric generative programming libr... | Haochen M. Kotoi-Xie, Hirotetsu Hongo, Yuta Sato, Shinya Yamaguchi | 18m |
Bindoj claims to be a datatype-centric generative programming toolkit for OCaml that represents type descriptions as values and emits working artifacts. It… | ||
| Highest-performance Stream Processing | Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos | 16m |
Library implements complete stream fusion and generates C and OCaml code from declarative pipelines, eliminating intermediate tuples and allocations so… | ||
| Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is u... | Artur Miguel Dias, Simão Melo de Sousa, António Ravara | 18m |
A web-based FLAT toolkit is integrated with Learn-OCaml and OFLAT as an open-source library exposing types and functions for automata, regexes and grammars… | ||
| Copying opam switches – it should Just Work™ | David Allsopp | 12m |
Shows that a handful of targeted runtime changes make opam switches relocatable: switch cloning becomes file-copy fast instead of recompiling, saving 7.5… | ||
| Composing Schedulers using Effect Handlers | Deepali Ande, KC Sivaramakrishnan | 12m |
Claims a concrete interface that makes different OCaml 5 effect-based schedulers interoperate: a suspend effect that captures a task continuation and a resume… | ||
| Multicoretests - Parallel Testing Libraries for OCaml 5.0 | Jan Midtgaard, Olivier Nicole, Nicolas Osborne | 18m |
Two testing libraries target OCaml 5.0 multicore: Lin checks linearizability and STM runs state-machine (model-based) tests, both built on QCheck. The tools… | ||
| nothing matches | ||