English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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-27 (10:48)
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