Hello Here is the latest OCaml Weekly News, for the week of July 29 to August 05, 2025. Table of Contents ───────────────── My fourth Outreachy Internship Blog post qcheck-lin and qcheck-stm 0.2 CRs Workflows: Invitation for Early Testing and Discussion OCaml version of the "Build systems à la carte" paper Dream development open video call Other OCaml News Old CWN My fourth Outreachy Internship Blog post ════════════════════════════════════════ Archive: Matthew Idungafa announced ────────────────────────── Hello everyone! I've just published my first midpoint Outreachy blog post about my progress contributing to Dune. You can read it here: . Stay tuned for more updates! qcheck-lin and qcheck-stm 0.2 ═════════════════════════════ Archive: Jan Midtgaard announced ─────────────────────── Version 0.9 of `qcheck-lin', `qcheck-stm', and `qcheck-multicoretests-util' is now available from your favorite opam repository! :tada: The 0.9 release contains adjustments to the public interface of `Lin' in order to make it compatible with `5.5.0+trunk' and also switches the `Util.Pp' pretty printers to use `QCheck.Print' for consistency: • [#566]: Use `QCheck.Print' combinators in `Util.Pp' too for consistency, e.g., to avoid that `STM' argument and result printer outputs differ. • [#562]: Fix the `int32' and `int64' printers in both `Lin' and `STM' to add missing `l' and `L' suffixes on literals. • [#560]: Change `Lin.{constructible,deconstructible}' from an empty variant type to an abstract type to get `Lin' compiling on `5.5.0+trunk' again, due to [ocaml/ocaml#13994] removing special handling of abstract and empty variants defined in the current module. Happy testing! :smiley: [#566] [#562] [#560] [ocaml/ocaml#13994] CRs Workflows: Invitation for Early Testing and Discussion ══════════════════════════════════════════════════════════ Archive: Mathieu Barbin announced ──────────────────────── I just published a blog post about CRs Workflows, a new open source tool for managing code review comments embedded in source code, with reusable GitHub Actions workflows. If you’re interested in trying it out or sharing feedback, you can read more here: . Thank you! OCaml version of the "Build systems à la carte" paper ═════════════════════════════════════════════════════ Archive: jbeckford announced ─────────────────── There is a great paper distilling several different build systems (Make, Excel, Bazel, etc.) into a unified framework. One of its authors is on the Dune team (I think). If you want to understand or write build systems, it is a good read because it uses language that can be understood by non-academics: All of its examples are in Haskell so I wrote a version in OCaml. Most of my OCaml translation was aided by the English paragraphs rather than the Haskell code (the latter was hieroglyphics to me). Regardless, I’m fairly sure some of the concepts don’t translate to OCaml well. If you are interested in build systems, the first place to start is the test directory (the `alacarte_*.ml' modules). The tests correspond to the paper’s section numbers, although there are also `alacarte_x*.ml' tests where I extended the framework. Then you can scan the source code at (the `Build*.ml' and `Promise.ml' modules). PRs welcome! Dream development open video call ═════════════════════════════════ Archive: Anton Bachin announced ────────────────────── Greetings! We are planning to host the first Dream development video call with @sabine on Discord on Friday, 8 August, at 9:00 AM Berlin time. Please join [#webdev] on the OCaml Discord if you’d like to participate. I will handle questions about joining the meeting there. We will probably use one of the voice chat channels on the server (which supports video). The topic of the meeting will be discussing open PRs and getting them ready for merge by our collective efforts, and needed improvements. We would like to put off conceptual and strategic discussions until the very end of the meeting, or to a future date. And please bear with us as we figure out what platform is best to use and how to use it :) We can’t promise that the first meeting will go without any issues, but we will work out everything based on experience :) Hope to see you there! [#webdev] Other OCaml News ════════════════ From the ocaml.org blog ─────────────────────── Here are links from many OCaml blogs aggregated at [the ocaml.org blog]. • [Upcoming OCaml Events] • [Adventures with BuildKit] [the ocaml.org blog] [Upcoming OCaml Events] [Adventures with BuildKit] Old CWN ═══════ If you happen to miss a CWN, you can [send me a message] and I'll mail it to you, or go take a look at [the archive] or the [RSS feed of the archives]. If you also wish to receive it every week by mail, you may subscribe to the [caml-list]. [Alan Schmitt] [send me a message] [the archive] [RSS feed of the archives] [caml-list] [Alan Schmitt]