Blog
The OCaml Planet RSS
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.
Talking with Simon Cruanes (c-cube) about Imandra, Automated Theorem Proving, dev tooling and more Support the show at https://www.patreon.com/emelletv
Talking with Rudi Grinberg about OCaml, Opium and Dune Support the show at https://www.patreon.com/emelletv
Talking with Rudi Grinberg about OCaml, Opium and Dune Support the show at https://www.patreon.com/emelletv
In this talk, Fabrice Buoro explained what happens at the deepest level when your OCaml program raises or catches an exception. This inside knowledge will lead to a number of takeaways for best performance. Slides and sources can be found at ht...
Composing Schedulers using Effect Handlers Deepali Ande (IIT Madras) KC Sivaramakrishnan (IIT Madras and Tarides) OCaml 5 introduces effect handlers as a mechanism for con- current programming. With effect handlers, concurrency can be expre...
Multicoretests - Parallel Testing Libraries for OCaml 5.0 Jan Midtgaard (Tarides) Olivier Nicole (Tarides) Nicolas Osborne (Tarides) Parallel and concurrent code is notoriously hard to test because of the involved non-determinism, yet it i...
Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml Haochen M. Kotoi-Xie (Kotoi-Xie Consultancy, Inc.) Hirotetsu Hongo (Kotoi-Xie Consultancy, Inc.) Yuta Sato (Kotoi-Xie Consul...
Copying opam switches – it should Just Work™ David Allsopp (Tarides UK) OCaml’s ecosystem centres around compilation from source code, rather than precompiled binaries. The compiler itself is only provided as a source distribution and OCaml’...
Efficient “out of heap” pointers for multicore OCaml Guillaume Munch-Maccagnoni (INRIA) This paper reports an experiment with a large pages allocator for the OCaml runtime, with measured performance improvements. A large pages allocator (als...
Highest-performance Stream Processing Oleg Kiselyov (Tohoku University, Japan) Tomoaki Kobayashi (Tohoku University) Aggelos Biboudis (Oracle) Nick Palladinos (Nessos Information Technologies, SA) We present the stream processing library ...
