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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id CCE0481799 for ; Thu, 25 Jul 2013 21:24:21 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yotambarnoy@gmail.com) identity=pra; client-ip=209.85.128.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yotambarnoy@gmail.com designates 209.85.128.42 as permitted sender) identity=mailfrom; client-ip=209.85.128.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qe0-f42.google.com) identity=helo; client-ip=209.85.128.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="postmaster@mail-qe0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiICAHd68VHRVYAqm2dsb2JhbABahAu9YYEPCBYOAQEBAQEGCwsJFCiCJAEBBAFAARsdAQMBCwYFCzsiAREBBQEcBieHaQEDCQacO4xPgn+ERQoZJw1kh3QBBQyPcQeEAAOXX49oFimEViA X-IPAS-Result: AiICAHd68VHRVYAqm2dsb2JhbABahAu9YYEPCBYOAQEBAQEGCwsJFCiCJAEBBAFAARsdAQMBCwYFCzsiAREBBQEcBieHaQEDCQacO4xPgn+ERQoZJw1kh3QBBQyPcQeEAAOXX49oFimEViA X-IronPort-AV: E=Sophos;i="4.89,744,1367964000"; d="scan'208";a="22278779" Received: from mail-qe0-f42.google.com ([209.85.128.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Jul 2013 21:24:20 +0200 Received: by mail-qe0-f42.google.com with SMTP id s14so554785qeb.15 for ; Thu, 25 Jul 2013 12:24:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=oTm2xR9lz8G5bT5i3+/SrrXmP8VMZg5YzJSV7NCfTTM=; b=BOkbc9YLTBeOceRhdtu7UAhG8LuVPW9gLHeCAI2l7B0aEEj4urqXVfyZwN9IQrTfqX MlkLX6rf+flyr7SFmnVpctl155CHjDNnMoNWIWtTulX2mBvp9FUKjxLRylbCqgbh6Qsn GJP+AAyowg7p8PfX/xV288VZetnRnHUkM+RbEWwPKta0CN2lkpXdl+k24+kgPZGIPouB 91yGdiAFJDgASgIUvZgSJu5Kl6axDsgg23OmTe9s/QTwoAxuKDt2vQHe0UGEXnprTcQ2 cOD6OaFLrk2EFP20hA/BhxIdir/XU0XvVoUH3cP+g8u/rKVtMZBUIo2T43lAvT0yOmGJ bA7Q== X-Received: by 10.49.134.99 with SMTP id pj3mr49971951qeb.70.1374780259459; Thu, 25 Jul 2013 12:24:19 -0700 (PDT) MIME-Version: 1.0 Received: by 10.224.7.136 with HTTP; Thu, 25 Jul 2013 12:23:59 -0700 (PDT) In-Reply-To: References: <1e141e2803d9dec6a8231dd4f16dd173.squirrel@gps.dynxs.de> From: Yotam Barnoy Date: Thu, 25 Jul 2013 15:23:59 -0400 Message-ID: To: Sylvain Le Gall Cc: Fabrice Le Fessant , Ocaml Mailing List Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Re: GODI is shutting down > Don't miss my point. I think OCamlPro is achieving a technical > challenge (although I wish OCamlPro will improve parallelism in OCaml > rather than something else). I just wish you make it with a good > leadership: making people talk together and collaborating. It will > probably just cost you a few emails to do it and it is not like you > are not aware of other people existing in the OCaml community. > I've been 'lurking' throughout this discussion (and I'm sure many others have as well), but I want to second this point. I use ocaml in an academic setting, but my group is migrating away from it mostly because haskell offers parallelism. The future of ocaml rests on it having a parallel runtime and a parallel GC. I know these things aren't easy to do, but nothing else will stem the migration to F# and haskell IMO. This is exactly the kind of problem that's very hard for OSS devs to address. Haskell has only been able to make the huge strides it has in terms of parallelism and performance because of the constant work of Simon Peyton Jones and Simon Marlow with Microsoft's generous backing. That's why I'm surprised that OcamlPro and OcamlLabs aren't putting virtually every engineer/researcher they have on solving this problem. I suppose the reason for this is that their corporate backers are happy with an Async-like, process-based execution model. However, this is short sighted IMO, as without a parallel runtime, the language simply cannot compete, which is a shame, because I think that WITH a parallel runtime, ocaml would beat just about every other high level language in terms of speed. Yotam Barnoy