The OCaml Planet RSS

Spatial Sway has basically reached the MVP stage, I failed to fully commit to this year’s NaNoWriMo, and someone has worked on adding some support for coqffi to dune.

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...