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

OCaml & Microsoft?

[Matt Gushee]

Hi, all--

I just noticed that Microsoft is a member of the OCaml Consortium. 
Anyone know what, if anything, they are actually using OCaml for?

I am preparing an OCaml presentation for my local Linux user's group, 
and this seems like an interesting sidelight (though perhaps not 
entirely welcome, given the audience).

-- 
Matt Gushee
: Bantam - lightweight file manager : matt.gushee.net/software/bantam/ :
: RASCL's A Simple Configuration Language :     matt.gushee.net/rascl/ :

Re: [Caml-list] OCaml & Microsoft?

[Robert Roessler]

Matt Gushee wrote:
> I just noticed that Microsoft is a member of the OCaml Consortium. 
> Anyone know what, if anything, they are actually using OCaml for?
> 
> I am preparing an OCaml presentation for my local Linux user's group, 
> and this seems like an interesting sidelight (though perhaps not 
> entirely welcome, given the audience).

One might assume that this is connected to their F# work - although 
those in the know could certainly give a more complete/accurate answer...

Robert Roessler
roessler@rftp.com
http://www.rftp.com

Re: [Caml-list] OCaml & Microsoft?

[Oliver Bandel]

On Tue, Jul 25, 2006 at 07:22:17PM -0600, Matt Gushee wrote:
> Hi, all--
> 
> I just noticed that Microsoft is a member of the OCaml Consortium. 
> Anyone know what, if anything, they are actually using OCaml for?
[...]

They have developed F#, a OCaml-port without OO-layer.

Also some Haskell-people are at M$, so I think they see
that FPLs are a powerful tool.



> 
> I am preparing an OCaml presentation for my local Linux user's group, 
> and this seems like an interesting sidelight (though perhaps not 
> entirely welcome, given the audience).
> 

I was wondering since when M$ is part of the OCaml consortium.
I think they weren't from the beginning on. (Maybe this information
could be added to the OCaml-pages, where the consortium is mentioned?!).


Ciao,
   Oliver

Re: [Caml-list] OCaml & Microsoft?

[Virgile Prevosto]

Le mar 25 jui 2006 19:22:17 CEST,
Matt Gushee <matt@gushee.net> a écrit :
> I just noticed that Microsoft is a member of the OCaml Consortium. 
> Anyone know what, if anything, they are actually using OCaml for?
> 
This is a bit hidden in Microsoft's site, but according to this page
(see "The Right Tools for the Job" item)
<http://www.microsoft.com/whdc/devtools/tools/sdv-case.mspx>,
Ocaml is used in their Static Driver Verifier (SDV).
-- 
E tutto per oggi, a la prossima volta.
Virgile