I've been coding in F# for the last few weeks at school, and I gotta say, F# takes everything good about SML/NJ, and rips it out. I mean it even makes the error messages more cryptic. The CLR is cool, but not worth destroying a language for it.