From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id A9614BC88 for ; Thu, 3 Feb 2005 01:25:00 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j130P0x1025609 for ; Thu, 3 Feb 2005 01:25:00 +0100 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 BAA13940 for ; Thu, 3 Feb 2005 01:24:59 +0100 (MET) Received: from mail-eur1.microsoft.com (mail-eur1.microsoft.com [213.199.128.139]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j130OxMi016054 for ; Thu, 3 Feb 2005 01:24:59 +0100 Received: from EUR-MSG-03.europe.corp.microsoft.com ([65.53.192.44]) by mail-eur1.microsoft.com with Microsoft SMTPSVC(6.0.3790.1289); Thu, 3 Feb 2005 00:24:59 +0000 X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] Estimating the size of the ocaml community Date: Thu, 3 Feb 2005 00:23:31 -0000 Message-ID: <5DCA48FADB33FF4D8C32A164DF24F2B00264F2F9@EUR-MSG-03.europe.corp.microsoft.com> Thread-Topic: [Caml-list] Estimating the size of the ocaml community thread-index: AcUJb1kmwFV3q/3ORaK5QOg9Crr2WQAFnKKQ From: "Don Syme" To: , "Caml Mailing List" X-OriginalArrivalTime: 03 Feb 2005 00:24:59.0281 (UTC) FILETIME=[CB686010:01C50986] X-Miltered: at concorde with ID 42016F5C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42016F5B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 syme:01 dsyme:01 ocaml:01 yaron:01 minsky:01 caml-list:01 humps:01 compares:01 baretta:01 lexifi:01 humps:01 beginner's:01 beginners:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Microsoft has used OCaml for SLAM (http://research.microsoft.com/slam/) and other amazing tools that find really deep bugs in the C code implementing device drivers. Byron Cook spoke about this at INRIA recently. So when Windows doesn't crash when you pull your PCMCIA card out at the very moment your machine goes into "hibernate" mode (roughly speaking one of the bugs they found, though I've probably got the details wrong) then remember that OCaml made a big contribution to that :-) Don P.S. All opinions my own. -----Original Message----- From: caml-list-admin@yquem.inria.fr [mailto:caml-list-admin@yquem.inria.fr] On Behalf Of Yaron Minsky Sent: 02 February 2005 21:31 To: Caml Mailing List Subject: [Caml-list] Estimating the size of the ocaml community I've been trying to come up with some estimates on the size of the ocaml community, and I'm wondering if others have come up with anything better. Here's what I have so far: - The mailing list is supposed to have about 500 subscribers[1]. Hard to know if this number is up-to-date. I wonder if that number has changed over time, and what it is today. - The OCaml Humps contributors page[2] has about 200 members. - If you type OCaml into google, you get about 800k hits. This compares with 29 million for C++. "python programming" (without the quotes) gets about 5 million - If you type "ocaml resume", you get about 5.5k hits. If you type "python resume", you get about 270k hits. If you type "C++ resume", you get almost 1m hits. - Some schools teach ocaml. Brown and Caltech apparently have intro ocaml courses. Any other places that teach the language? Any ideas on how many students go through these courses? - A few companies use ocaml, including Baretta DE&IT, Dassault Aviation, LexiFi, Artisan (which has been bought up by AMD?) Anyone know of other such companies? It would be interesting to get a list togther of companies that use ocaml significantly. I'd be interested of any evidence people have of the size and vibrancy of the ocaml community. I'd be particularly interested in evidence of ocaml use in the United States, since it seems like a majority of ocaml use is outside of the US. [1] http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list [2] http://caml.inria.fr/humps/index_contributors.html _______________________________________________ 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