OCaml Blog
The OCaml Planet
Merge Right
The so-called master-transaction update is one of the, if not the defining algorithms of the discipline formerly known as "data processing...
07 Aug 2012
A Helping Phantom Hand
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...
02 Aug 2012
Theorems for Free: The Monad Edition
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...
19 Jul 2012
An Odd Lemma
While proving that every monad is an applicative functor, I extracted the following derivation as a lemma: fmap f ∘ (λh. fmap h x) ≡ { ...
17 Jul 2012
A minor branch off Braun Trees
Revisiting the post on Braun Trees I noticed that, while pedagogical, the implementation of the root replacement operation rep can be stre...
12 Jul 2012
Existential Crisis
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...
09 Jul 2012
Assessing Abstractions
Back to OCaml! Catching up with StackOverflow's OCaml questions , I found an interesting one about private type abbreviations in module si...
02 Jul 2012
Managing and Analyzing Big-Data in Genomics
Abstract Biology is an increasingly computational discipline. Rapid advances in experimental techniques, especially DNA sequencing, are generating data at exponentially increasing rates. Aside from...
29 Jun 2012
News
If you want to contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.