you should enjoy this blog post on thomas leonard's experience porting 0install from python to ocaml: http://roscidus.com/blog/blog/2014/02/13/ocaml-what-you-gain...