I program a lot of ocaml code. Not to say that there are no nicer languages, for all it is worth, ocaml is just the closest to my personal programming style: plain typed functional programming with an occasional impure construct.
Ocaml is old by now, it is older than Java. Some tools are pretty mature, one of the tools I really want to look at is Emily, of which I didn't know so far. Actually, I am not sure I quite grok it yet. Compiled-in security policies? Ouch.
