Actually, I have done quite a bit of class work in SML/NJ and OCAML. However, I can't say that I like the languages much. It's so much structure that I have a hard time knowing what pieces to use to solve a problem.

The book I mentioned above discusses language in a very ML-like way. It provides an interesting perspective, but it's too mechanical for being very useful to me in programming.