I'm a big OCaml fan, but heck if I've had a chance to use it yet.

If Microsoft can keep F# "pure" OCaml it has a great shot at winning the scaling wars. Stuff like workflows and monads are still messing with my head, though.