From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 9A3FC7ED7A for ; Wed, 22 Aug 2012 16:11:31 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of david.baelde@gmail.com) identity=pra; client-ip=209.85.212.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="david.baelde@gmail.com"; x-sender="david.baelde@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of david.baelde@gmail.com designates 209.85.212.54 as permitted sender) identity=mailfrom; client-ip=209.85.212.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="david.baelde@gmail.com"; x-sender="david.baelde@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vb0-f54.google.com) identity=helo; client-ip=209.85.212.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="david.baelde@gmail.com"; x-sender="postmaster@mail-vb0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsMDAEPoNFDRVdQ2k2dsb2JhbABFqHqRRggiAQEBAQkJCwkUBCOCIQEBBBICLAEbHQEDDAYFCzseBAERAQUBHAY1h1sBAwyaQgkDjCKCcoVSChknDVeIcQEFDJIYA40NiEWBFI0iPoQE X-IronPort-AV: E=Sophos;i="4.77,808,1336341600"; d="scan'208";a="170523579" Received: from mail-vb0-f54.google.com ([209.85.212.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Aug 2012 16:11:30 +0200 Received: by vbmv11 with SMTP id v11so1917729vbm.27 for ; Wed, 22 Aug 2012 07:11:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:reply-to:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=DyMXo/ShF8wNQ26Yg6mkvxZl5uRO+CnTP2Vx/atYG3g=; b=1IKOI8wZ4WVW3j1wgTsLZOYtBgTerSGvx6shd1gNa/U1ea/tFRWF2Y4BGqs02hS6i1 3HYJMARBt/avRXEGQG8z4cFN0qTkZCtzATlr1xcHcO09ypbK1p8gTEJnRlpj4VuC7Xkk GlJ8UZBsDjXrur75+EeD1OR6lpqkNJDcTege99jjj109WAwyLwjM6xzp6dnq26cxm3UM PbF3eGD6AWgTn/RQ1fkkAy2O7FI6lf7Bj1c5RkL1tZBC8CFa5g4tdmXKYq+3DzYqwK0g zbzvWE49aIRmjYa8OyFq97IPYPnLfLtRTwd0NENLLDIcMiHw2AQ5rXQGhfsWbjSXznCG NIVQ== Received: by 10.52.88.19 with SMTP id bc19mr14150790vdb.39.1345644689441; Wed, 22 Aug 2012 07:11:29 -0700 (PDT) MIME-Version: 1.0 Received: by 10.58.127.229 with HTTP; Wed, 22 Aug 2012 07:11:09 -0700 (PDT) Reply-To: david.baelde@ens-lyon.org In-Reply-To: References: From: David Baelde Date: Wed, 22 Aug 2012 16:11:09 +0200 Message-ID: To: Esther Baruk Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Companies using OCaml Hi, I have a few observations that may be relevant for your "company" or "success" pages. First, Nicolas Cannasse (main developper of HaXe) has recently left Motion Twin for another French company, Shiro Games (http://shirogames.com/). I'm not sure that Motion Twin still counts as a user of OCaml, it seems possible that they are now only using the HaXe compiler, whose development would have followed Cannasse at Shiro Games. Second, I think that liquidsoap (http://liquidsoap.fm) should be added to the list of successes. As a main developer of the project, I am not neutral, but I believe that our tool is clearly well established in the (internet) radio industry. Liquidsoap is well known as a tool with unique abilities, and has lots of users including big commercial ones. It is not developed as a business, but companies develop services or software on top of it. For example, Sourcefabric develops and sells Airtime on top of liquidsoap -- but they may not be relevant for your company page because they don't write OCaml code. I think those two examples are interesting in that they are outside of the traditional formal methods and scientific computing fields. If you want to include paragraphs about them in one of your pages, I can help. In my opinion, these examples together with Gerd's remark show that the company page should have some sort of disclaimer, pointing out that the listing does not mention companies using products based on OCaml, and does not mention companies which don't advertise their use of OCaml. The success page does not have that problem. Cheers, -- David