The OCaml Planet RSS

My writeup about tinkerbell sparked some discussions, I finally gave in to the code agent hype (on my own terms), and this website got new RSS feeds.

A little bit about everything, but mostly about fixing annoying tech problems, interesting posts I stumbled on.

A little bit about everything, but mostly about fixing annoying tech problems, interesting posts I stumbled on.

While proving that every monad is an applicative functor, I extracted the following derivation as a lemma: fmap f ∘ (λh. fmap h x) ≡ { ...

Revisiting the post on Braun Trees I noticed that, while pedagogical, the implementation of the root replacement operation rep can be stre...

Useful generic functions are usually the result of composing useful generic functions; the fact that these are easy to write is, however, no...