Don Syme gave us a demonstration of F# at Lang .Net last week. Don also created generics for the CLR, which reinforced my status as the dumbest guy in the room last week :)
There were a lot of really cool things in the demo, from the SQL Analyzer style ‘select some code and run it via CTRL-E’ to using |> as an operator string objects together using a pipeline metaphor.
He also mentioned that the Microsoft Driver Verifier is written in OCaml, but is being ported to F#.
It was really awesome to see functional and object-oriented programming styles mixed together so beautifully in the same programming language. I really need an excuse to write something in a functional language in the future.
