Blog
The OCaml Planet
Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.
Want your Blog Posts or Videos to Show Here?
To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.
We have recently worked on modifying the OCaml system to be able to profile OCaml code on Linux amd64 systems, using the processor performance counters now supported by stable kernels. This page presents this work, funded by Jane Street. The patch is provided for OCaml version 4.00.0. If you need it...
The so-called master-transaction update is one of the, if not the defining algorithms of the discipline formerly known as "data processing...
You don't have to be writing an interpreter or some other kind of abstract code to profit from some phantom types. Suppose you have two or m...
This is for the record, since the derivations took me a while and I'd rather not lose them. A functor is the signature: module type FU...
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...
In a long discussion at LtU , user Jules Jacobs advances a use-case that for him would have been difficult to solve in a statically-typed l...