I'm really pleased to announce the next version of Miou (0.6.0) here: https://discuss.ocaml.org/t/ann-miou-a-simple-scheduler-for-ocaml-5/12963/18. Step by step, we build reusable pieces of #OCaml libraries and it's nice to see results all together. Thanks for all contributors on these various projects.
[ANN] Miou, a simple scheduler for OCaml 5

I am delighted to announce the release of miou.0.6.0. This release mainly adds two new features: a Miou event logging system a new Miou.take function allowing you to retrieve tasks available in a Miou.orphans The addition of a logging system allows us to record events related to Miou (such as the creation of a new task) and to analyse these events to diagnose a Miou application that does not comply with our fundamental rules (such as never forgetting its children). This is why we offer severa...

OCaml

(HEAVILY) WIP #OCaml port to #mmtk

Don't expect anything yet, I'm drowning in the semester and I'm just happy it quietly compiles right now 😂

Next up: get single threaded STW working (in a way that works for multi too 🫠)

https://github.com/InnocentZero/ocaml-mmtk

GitHub - InnocentZero/ocaml-mmtk: OCaml with MMTk backend

OCaml with MMTk backend. Contribute to InnocentZero/ocaml-mmtk development by creating an account on GitHub.

GitHub
Functional pearl: Binding boolean expressions and extended pattern matching. ~ Arthur Charguéraud, Yanni Lefki. https://www.chargueraud.org/research/2026/bbe/bbe-and-extended-matching.pdf #Ocaml #FunctionalProgramming

OCaml Weekly News, for the week of April 28 to May 05, 2026

https://discuss.tchncs.de/post/59713882

OCaml Weekly News, for the week of April 28 to May 05, 2026 - tchncs

Lemmy

The #OCaml Weekly News for 2026-05-05 is out

https://alan.petitepomme.net/cwn/2026.05.05.html

OCaml Weekly News

Is anyone going here this weekend? Agda is one of the most innovative game changers in functional programming and theorem proving, given its unique implementation architecture and capabilities. I'd like to meet you there! π🐫λ #CubicalAgda #Rocq #OCaml #Haskell types2026.cse.chalmers.se

TYPES 2026: TYPES 2026
TYPES 2026: TYPES 2026

OCaml Weekly News, for the week of April 21 to 28, 2026

https://discuss.tchncs.de/post/59286297

OCaml Weekly News, for the week of April 21 to 28, 2026 - tchncs

Lemmy

The #OCaml Weekly News for 2026-04-28 is out

https://alan.petitepomme.net/cwn/2026.04.28.html

OCaml Weekly News

OCaml Meeting 2026 in Tokyo - connpass https://ocamljp.connpass.com/event/391765/

#ocaml

OCaml Meeting 2026 in Tokyo (2026/08/22 10:00〜)

OCaml Meeting は過去に開催されていた日本の OCaml コミュニティによる勉強会です。 前回から13 年ぶりの開催となる今回は OCaml Meeting 2026 in Tokyo と銘打ちまして、東京にて開催することとなりました 🎉 OCaml に興味のある方や、昨今の関数型の話題で気になっているという方、初めて OCaml を知ったという方まで、ぜひどなたでもご参加ください。 また、ご登壇いただける方も募集しております。 関数型プログラミングが好きな方、特に、OCaml に関連した技術やテクニックについて話したい方はどうぞお気軽に登壇にご応募ください! ...

connpass

OCaml Weekly News, for the week of April 14 to 21, 2026

https://discuss.tchncs.de/post/58908032

OCaml Weekly News, for the week of April 14 to 21, 2026 - tchncs

Lemmy