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-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 <basile@starynkevitch.net> wrote:
> FWIW, Microsoft seems to ship some static analysis program coded in Ocaml
> (SDV) inside the Windows Driver Kit:
> http://www.microsoft.com/whdc/devtools/tools/sdv-case.mspx
> --
> Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
> 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:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs