From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 931A4BBC1 for ; Fri, 11 Apr 2008 15:17:42 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsUCAKoB/0fUnw6Gb2dsb2JhbACCO48VAQwFAgUHGJlL X-IronPort-AV: E=Sophos;i="4.25,642,1199660400"; d="scan'208";a="11346224" Received: from pih-relay08.plus.net ([212.159.14.134]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Apr 2008 15:17:42 +0200 Received: from [80.229.56.224] (helo=beast.local) by pih-relay08.plus.net with esmtp (Exim) id 1JkJ8P-00041e-A1 for caml-list@yquem.inria.fr; Fri, 11 Apr 2008 14:17:41 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] List of sites running in Ocaml? Date: Fri, 11 Apr 2008 14:09:22 +0100 User-Agent: KMail/1.9.7 References: <47FDF229.4080000@exalead.com> <47FF5757.60708@exalead.com> In-Reply-To: <47FF5757.60708@exalead.com> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200804111409.23405.jon@ffconsultancy.com> X-Plusnet-Relay: cd20b95e4992f94bde7407d178e047ce X-Spam: no; 0.00; ocaml:01 berke:01 durak:01 ocaml:01 coq:01 mldonkey:01 blog:98 frog:98 wrote:01 caml-list:01 linear:02 unison:02 fftw:02 sell:96 languages:03 On Friday 11 April 2008 13:19:35 Berke Durak wrote: > PS. I've also added an "Ocaml success stories" page with a list of > well-known Ocaml software (coq, unison, mldonkey, etc.) You've missed lots of even bigger applications of OCaml, like FFTW. You may find some of our related blog articles of interest: http://flyingfrogblog.blogspot.com/2007/09/functional-programming-in-industry.html http://flyingfrogblog.blogspot.com/2007/11/most-popular-functional-languages-on.html http://ocamlnews.blogspot.com/2007/12/top-10-most-popular-ocaml-programs.html http://ocamlnews.blogspot.com/2007/09/xensource-sell-for-500m.html I also forgot to mention that we are following FFTW's lead and using OCaml to generate source code in more mainstream languages that we can sell. This is technically known as "geometric money in linear time". :-) -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e