Tried to learn this back in 2000-2001 but didn’t get very far. Ocaml has a lot of similarities to Haskell. The learning resources available on the web are better now (http://www.ocaml-tutorial.org is excellent). I also spent time looking at the ocaml website and the OReilly Ocaml book (available on line, google for it!) Conceptually similar, both are strong statically typed functional programming languages. I actually prefer the Ocaml syntax after mucking with it for awhile. Haskell has this idea of a layout which makes the program sensitive to indentation ala Python. It’s not so bad once you get used to it but I got bit by it when I started out with Haskell. Ocaml appears to be a more pragmatic, working language (it has imperative features, better libraries) where Haskell tends to be more academic (though Pugs and Darcs are written in Haskell). It’s worthwhile to learn both languages as each bends and twists your mind in different ways.