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 (09:12)
From: Till Varoquaux <till.varoquaux@g...>
Subject: Re: OCaml & Microsoft?
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 the members of the Cambridge lab are active ocaml users (Simon
Peyton-Jones for instance). I guess a good part of the the functional
programming community uses ocaml. Even Philip Wadler uses it to code
Links... IMHO Haskel is more of of a conceptual language. Ocaml seems
handier for many tasks.
Following this logic, Haskel being prized by Microsoft research, ocaml
is often their language of choice.


PS: this mail tainted by my personnal opinion, lets not start a flame war.

On 7/26/06, Basile STARYNKEVITCH <> wrote:
> FWIW, Microsoft seems to ship some static analysis program coded in Ocaml
> (SDV) inside the Windows Driver Kit:
> --
> email: basile<at>starynkevitch<dot>net
> aliases: basile<at>tunes<dot>org = bstarynk<at>nerim<dot>net
> 8, rue de la Faïencerie, 92340 Bourg La Reine, France
> _______________________________________________
> Caml-list mailing list. Subscription management:
> Archives:
> Beginner's list:
> Bug reports: