Well, Unison has been recommended to me to have a look at, as well as solving various problems from Project Euler, but personally I get more done by writing my own practical programs, so I'll probably be adapting one of those into OCaml, to see how it goes.
