ML goes mainstream

You're referring to official support for F#, a functional language derived from ML?