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.
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...
Last time I've hoisted all accesses to the source array. This opens the door to being able to process linear arrays representing a matrix i...
Last time I massaged the interpolator to avoid computing every time the linear transformation from destination space to source space, using...