27 Oct 2015
In the last
post,
I described a *flat* allocation profiler for OCaml 4.02 bytecode interpreter.
In this post, I’ll describe further developments which add support for call
stack information and better location information. Lets dive straight to the
usage:

23 Sep 2015
This post describes a simple flat allocation profiler for OCaml 4.02 bytecode
interpreter.

10 Sep 2015
I recently gave a talk on Algebraic Effects in OCaml at the OCaml Workshop
2015. The extended abstract and the
slides from the talk are available here. The slides
should provide a gentle introduction to programming with algebraic effects and
handlers in OCaml. The examples from the talk (and many more!) are available
here.

27 May 2015
In the previous
post, I
presented a simple cooperative multithreaded scheduler written using algebraic
effects and their handlers. Algebraic effects are of course useful for
expressing other forms of effectful computations. In this post, I will present
a series of simple examples to illustrate the utility of algebraic effects and
handlers in OCaml. Some of the examples presented here were borrowed from the
excellent paper on Eff programming language^{1}. All of the examples
presented below are available
here.

20 May 2015
Algebraic effects and handlers provide a modular abstraction for expressing
effectful computation, allowing the programmer to separate the expression of an
effectful computation from its implementation. In this post, I will present an
extension to OCaml for programming with linear algebraic effects, and
demonstrate its use in expressing concurrency primitives for multicore
OCaml. The design and
implementation of algebraic effects for multicore OCaml is due to Leo
White, Stephen Dolan and
the multicore team at OCaml
Labs.