From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id CBC89BBB7 for ; Wed, 26 Jul 2006 11:12:21 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k6Q9CL8x013623 for ; Wed, 26 Jul 2006 11:12:21 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA30620 for ; Wed, 26 Jul 2006 11:12:20 +0200 (MET DST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.173]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k6Q9CKv8013617 for ; Wed, 26 Jul 2006 11:12:20 +0200 Received: by ug-out-1314.google.com with SMTP id c2so3307004ugf for ; Wed, 26 Jul 2006 02:12:20 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=hFiX/4JWL8tdfkTp8FtAGwtknuWz17SsbQfQAxcRdYgY7TNtSQY+Wvd50UxQvBesBrzro5rITXZk8EynN10BixwHrdT7/AUBkHDNboXdDgL0xDM8kc/p3p31aArGbbybbb50jajpJnvFinGeuZNKT4Cy+/qADj3KqRgf0GUrGLc= Received: by 10.78.177.11 with SMTP id z11mr2918095hue; Wed, 26 Jul 2006 02:12:20 -0700 (PDT) Received: by 10.78.142.8 with HTTP; Wed, 26 Jul 2006 02:12:19 -0700 (PDT) Message-ID: <9d3ec8300607260212w7b4ee572xdbe07153fba378f3@mail.gmail.com> Date: Wed, 26 Jul 2006 11:12:19 +0200 From: "Till Varoquaux" To: "Basile STARYNKEVITCH" Subject: Re: OCaml & Microsoft? Cc: caml-list@inria.fr In-Reply-To: <20060726081836.GA17712@ours.starynkevitch.net> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <20060726081836.GA17712@ours.starynkevitch.net> X-j-chkmail-Score: MSGID : 44C731F4.001 on nez-perce : j-chkmail score : X : 0/20 1 X-Miltered: at nez-perce with ID 44C731F5.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 44C731F4.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 peyton-jones:01 wadler:01 basile:01 basile:01 fwiw:01 nerim:01 faiencerie:01 92340:01 reine:01 beginner's:01 beginners:01 bug:01 wrote:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.3 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 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: basilestarynkevitchnet > aliases: basiletunesorg =3D bstarynknerimnet > 8, rue de la Fa=EFencerie, 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 >