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.
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...
Back to OCaml! Catching up with StackOverflow's OCaml questions , I found an interesting one about private type abbreviations in module si...
Abstract Biology is an increasingly computational discipline. Rapid advances in experimental techniques, especially DNA sequencing, are generating data at exponentially increasing rates. Aside from...
The code has now the proper shape to carry out optimizations to their logical consequences, to the point that I question the wisdom in some...
After linearizing all array accesses , interpolating ARGB values is easy from the algorithmic side of things; so easy things first. I'll han...
