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

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