Browse thread
Re: [Caml-list] OCaml & Microsoft?
-
Basile STARYNKEVITCH
-
Till Varoquaux
-
skaller
- Jon Harrop
-
skaller
-
Till Varoquaux
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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 http://www.ffconsultancy.com/products/ocaml_for_scientists