Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Re: [Caml-list] OCaml & Microsoft?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-07-26 (13:49)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] Re: OCaml & Microsoft?
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++: