Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] Re: OCaml & Microsoft?
On Wednesday 26 July 2006 14:49, skaller wrote:
> 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,

Not to mention first class lexical closures...

> and a much better approach to polymorphism than Java ..
> not that I'd use C# for anything Ocaml could do :)

Of course not. You'd use Felix. ;-)

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
Objective CAML for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists