On Wed, 2006-07-26 at 11:12 +0200, Till Varoquaux wrote:
> Microsoft research (at least the cambridge UK branch) uses ocaml for
> some of its projects like terminator (static program analysis).
> Also, I'm guessing we will see some of the nice ocaml feature
> trickling in C# (or another mainstream caml language) one of these
> days (that's probably what F# is for).

Some of them already have.. type inference for example, 
and a much better approach to polymorphism than Java ..
not that I'd use C# for anything Ocaml could do :)

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net