Didier Plaindoux

Index English home of xvw.lol

3 years later, I finally have a blog in English (to mumble, among other things, about #OCaml)!

xvw.lol/en/

(The articles will continue in French and I'll try to provide translations as soon as possible).

Missed @xvw.lol's #BOB2025 talk "Beyond the Basics of LSP: Advanced IDE services for OCaml"? Watch the recording here: bobkonf.de/2025/woestyn...

Il n'y a pas 8 jours qu'un musulman était assassiné en pleine prière.
Que Retailleau et le préfet s'en sont ostensiblement désintéressés. Et maintenant, ça.

La haine des musulmans est au pouvoir
Retailleau est un homme d'extrême droite. Il ne lui manque que l'étiquette, qu'il finira par prendre.

Is it possible to build a formally verified GC for OCaml that can be plugged into the compiler? We should how to in:

"A Mechanically Verified GC for OCaml"

kcsrk.info/papers/verif...

This has been accepted to the Journal of Automated Reasoning.

Code: github.com/prismlab/ver...

[Status] I'm working on Celma (github.com/d-plaindoux/...), an embedded language in Rust for parser definitions based on parser combinators. Bootstrapping Celma on Celma is in progress. The next stages are type-checking and compilation in Rust inspired by the paper www.cl.cam.ac.uk/~jdy22/paper....

It is time! After 2 years, a new major release of nom, the rust parser combinators library!
It comes with a lot of interesting points check it out
unhandledexpression.com/nom-8/

GitHub - tarides/ocaml-eglot: An overlay on Eglot for editing OCaml code using LSP An overlay on Eglot for editing OCaml code using LSP - tarides/ocaml-eglot

I'm really happy to present, with @tarides.com , #OCaml Eglot, an #Emacs (minor) mode for editing OCaml code, using LSP through Eglot, the built-in #LSP client of Emacs: github.com/tarides/ocam...

Feedback, contribution and RT much appreciated

For my first post, I would like to share the material used for the talk "Dependent types: From Theory to Practice".

Version for ScalaIO and Sunny-tech: d.plaindoux.free.fr/talks/depend...

Version for FunctionalScala:
d.plaindoux.free.fr/talks/functi...