F# is a Microsoft research Language. F# is riding the functional revenge way of the last years. F# is a mixed approach, because some variables can be modified. It borrows a lot of things from Haskell and OCaml  (Wikipedia dixit). F# is not used like Erlang or Haskell but it could be installed with Visual Studio 2010, and as a separate visual studio plug-in. If you need some functional stuff on your .NET architecture,  F# can be your friend.

Gavin King (the inventor of Hibernate) fired out a new language project called Ceylon (I suppose referring to the Tea versus the Java Café). I love new languages. I know a bit of them, and I work with Java form 1995, so I will do a deep review of this news…