λ-müesli

Now with crunchy closures! And rich in mutable state.

New Year’s Resolutions

A new year, a new Octopress-based blog.

I hope to blog again this year. I’m currently working on a variant of Oleg Kiselyov’s Iteratees in OCaml, which could be interesting.

Taming the Beast That Is GADT

For the past few weeks I have been trying to write a little embedded DSL. The goal is to be able to easily generate bindings between OCaml and C, and maybe Objective-C, too.

Caml-inspect: Version 0.2

I’ve pushed a new version of the Caml-library to github, and I must say, I’m really starting to like this whole open-source thing. It’s quite exciting. Amongst the changes are an updated README (usage instructions), documentation using ocamldoc (make htdoc), and packaging using the -pack option of the OCaml compiler. And easier installation with make using the new install/uninstall targets.

The next step will be to host the project on OCaml Forge, so it has more exposure to the intended target audience. I’ve already registered the project as caml-inspect. I am currently awaiting approval from the site admins.

A Little Something…

Here is a little preview of what I am working on at the moment. It is a small library for the beautiful 1 OCaml programming language that allows one to inspect any OCaml value in the REPL by dumping pretty printed S-expressions or producing output for Graphviz.