Microsoft stealth launches 'historic' programming language: F#