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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id ACCBABBC1 for ; Fri, 11 Apr 2008 16:05:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApUCALAM/0fBL1AZiGdsb2JhbACRUAEBAQ8mmUw X-IronPort-AV: E=Sophos;i="4.25,642,1199660400"; d="scan'208";a="24890261" Received: from gw.exalead.com (HELO exalead.com) ([193.47.80.25]) by mail4-smtp-sop.national.inria.fr with ESMTP; 11 Apr 2008 16:05:32 +0200 Received: from [192.168.204.148] (madpc064.exalead.com [192.168.204.148]) (authenticated bits=0) by exalead.com (8.14.2/8.14.0) with ESMTP id m3BE5QQm022224; Fri, 11 Apr 2008 16:05:26 +0200 Message-ID: <47FF7026.40900@exalead.com> Date: Fri, 11 Apr 2008 16:05:26 +0200 From: Berke Durak User-Agent: Thunderbird 1.5.0.10 (X11/20070221) MIME-Version: 1.0 To: Jon Harrop Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] List of sites running in Ocaml? References: <47FDF229.4080000@exalead.com> <47FF5757.60708@exalead.com> <200804111409.23405.jon@ffconsultancy.com> In-Reply-To: <200804111409.23405.jon@ffconsultancy.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; berke:01 durak:01 berke:01 durak:01 ocaml:01 ocaml:01 coq:01 mldonkey:01 wiki:01 computed:01 blog:98 wrote:01 wrote:01 caml-list:01 linear:02 Jon Harrop wrote: > 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 Added those, but you should edit the page, too! It's a wiki after all. > 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". :-) Are you are implying that Ocaml is exponentially more succinct than your target language (C/C++ I guess?), and that customers are willing to buy at a price computed from slocs in the target language ? :) -- Berke DURAK