[Caml-list] Attn: Development Editor, Latest OCaml Weekly News

[Alan Schmitt <alan.schmitt@polytechnique.org>]

[-- Attachment #1: Type: text/plain, Size: 7676 bytes --]

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:
  <https://discuss.ocaml.org/t/my-fourth-outreachy-internship-blog-post/17027/1>


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:
  <https://medium.com/@mattidungafa/outreachy-internship-midpoint-post-f9333c9c3c86>. Stay
  tuned for more updates!


qcheck-lin and qcheck-stm 0.2
═════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ann-qcheck-lin-and-qcheck-stm-0-2/12301/7>


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] <https://github.com/ocaml-multicore/multicoretests/pull/566>

[#562] <https://github.com/ocaml-multicore/multicoretests/pull/562>

[#560] <https://github.com/ocaml-multicore/multicoretests/pull/560>

[ocaml/ocaml#13994] <https://github.com/ocaml/ocaml/pull/13994>


CRs Workflows: Invitation for Early Testing and Discussion
══════════════════════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/crs-workflows-invitation-for-early-testing-and-discussion/17036/1>


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:
  <https://mbarbin.github.io/crs/blog/launching-crs-workflows/>.

  Thank you!


OCaml version of the "Build systems à la carte" paper
═════════════════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ocaml-version-of-the-build-systems-a-la-carte-paper/17042/1>


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:

  <https://www.cambridge.org/core/journals/journal-of-functional-programming/article/build-systems-a-la-carte-theory-and-practice/097CE52C750E69BD16B78C318754C7A4>

  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
  <https://gitlab.com/dkml/build-tools/MlFront/-/tree/V2_4/tests/MlFront_Thunk?ref_type=heads>
  (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
  <https://gitlab.com/dkml/build-tools/MlFront/-/tree/V2_4/src/MlFront_Thunk?ref_type=heads>
  (the `Build*.ml' and `Promise.ml' modules).

  PRs welcome!


Dream development open video call
═════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/dream-development-open-video-call/17053/1>


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]
<https://discord.com/channels/436568060288172042/439062744105484288>


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] <https://ocaml.org/blog/>

[Upcoming OCaml Events] <https://ocaml.org/events>

[Adventures with BuildKit]
<https://www.dra27.uk/blog/platform/2025/07/29/taming-buildkit.html>


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] <mailto:alan.schmitt@polytechnique.org>

[the archive] <https://alan.petitepomme.net/cwn/>

[RSS feed of the archives] <https://alan.petitepomme.net/cwn/cwn.rss>

[caml-list] <https://sympa.inria.fr/sympa/info/caml-list>

[Alan Schmitt] <https://alan.petitepomme.net/>


[-- Attachment #2: Type: text/html, Size: 18309 bytes --]