Re: [Caml-list] OCaml & Microsoft?

Re: [Caml-list] OCaml & Microsoft?

[Basile STARYNKEVITCH]

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

Re: OCaml & Microsoft?

[Till Varoquaux]

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.

Till

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
>

Re: [Caml-list] Re: OCaml & Microsoft?

[skaller]

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, 
and a much better approach to polymorphism than Java ..
not that I'd use C# for anything Ocaml could do :)

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

Re: [Caml-list] Re: OCaml & Microsoft?

[Jon Harrop]

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