This might be old news to some, but I thought I'd post it anyway. For those of you with an interest in programming languages, take a look at F#. It's an .NET-centric OCaml variant that emits generic MSIL (first compiler to do so), with the performance profile of C#, and full access to the managed framework (including managed DirectX). F# types and objects are accessible to other languages (unlike SML.NET), so an F# project can be easily embedded into any managed project. Two F# books are supposedly in the works -- in the meantime, a lot of information about OCaml is available on the net (an O'Reilly book is freely available, the F# wiki has some information as well). My experience so far (after doing a lot of work in Haskell as of late, but having only cursory experience with ML languages) has been extremely positive.
