The OCaml Planet RSS

Discover the data-race-freedom modes of OxCaml, and how we tested them on a multicore branch of OCaml's editor service Merlin!

Extending the Pico 2 implementation to add effects-based WiFi networking and improve the build system.

Running OCaml 5 with multicore support on bare-metal Raspberry Pi Pico 2 W (RP2350, ARM Cortex-M33).

Some titles make more sense than others. One of my oldest contributions to OCaml was a complete overhaul of Unix.stat et al in ocaml/ocaml#462 which formed part of OCaml 4.03. As part of the work on msvs-detect in late 2015, I’d ended up with a Windows 7 VM which had every single version of Visual Studio back to Visual Studio 6.0. Visual Studio (and Visual C++ before that) has always included the source code for the C Runtime Library (CRT), and as a side-effect of having all these installed Visual Studios, I was able to construct a Git repository showing the evolution of the CRT code over each release (sadly, the licence doesn’t allow this to be pushed publicly). This was particularly useful for studying how the behaviour of the stat implementation had changed over time, particularly with reference to Windows Vista’s symlinks. Anyway, that particular bit of work left me with a habit of often reaching for the CRT whenever something weird’s happening, and that’s led naturally to a fairly detailed bug-fix - and outline for more bug-fixes - in OCaml.

Welcome to part two! If you haven't already, check out part one, where we introduce DSCheck and share one of its uses in a naive counter…

Reaping the plentiful benefits of parallel programming requires the careful management of the intricacies that come with it. Tarides played…

DataCaml brings distributed dataflow programming to OCaml using the CIEL engine.