From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3L7mKwd003422 for ; Thu, 21 Apr 2011 09:48:20 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq8CAAjhr01KfVK2kGdsb2JhbACEUJMwjUAIFAEBAQEJCQ0HFAQhiHChHIo4gmGFCYkRAQEDBoRzfQSOK4QFgQSFATqBIg X-IronPort-AV: E=Sophos;i="4.64,250,1301868000"; d="vcf'?scan'208";a="81462881" Received: from mail-wy0-f182.google.com ([74.125.82.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Apr 2011 09:48:20 +0200 Received: by mail-wy0-f182.google.com with SMTP id 23so2250645wyf.27 for ; Thu, 21 Apr 2011 00:48:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:sender:message-id:date:from:user-agent :mime-version:to:subject:references:in-reply-to:x-enigmail-version :content-type; bh=37UQxnM7LfcMhzByelR0Tcc0Cy+aAIuEVv74v+jSeUk=; b=QErioSp+VbItZkfj22ozQ1UG65GCcpo8SUf/jxsTkol2vEUVQCD5nLuZCmv2sVoAo4 6Y6hntLzEr9cjSMx52Xh0V4VnxfJlDFDCcDQbDCs1d6WmiHQYiGAB5C9c3oEsUbo89Fl m5RQ1yyKuadVEBV4cRx3U73pNyl3hO3l3qT64= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=sender:message-id:date:from:user-agent:mime-version:to:subject :references:in-reply-to:x-enigmail-version:content-type; b=VjWADi03ItWgHGUWva3XEH7JcJumF1Vdo57X60HfRkL/r0TRTvrhNP3uo3sW+QQXo6 DryNrh3213lKPPuxGtKNmrO+pJ3RWNXXMhK7az576lpKlpmv5D1mMOAzn/6OrBpVVoD6 li63rrerNPbM5y3caMBYScteUSVIRCerfW3ng= Received: by 10.227.169.140 with SMTP id z12mr1658319wby.89.1303372100232; Thu, 21 Apr 2011 00:48:20 -0700 (PDT) Received: from [195.83.212.218] (chercheurs-218.saclay.inria.fr [195.83.212.218]) by mx.google.com with ESMTPS id x1sm1010181wbh.53.2011.04.21.00.48.18 (version=SSLv3 cipher=OTHER); Thu, 21 Apr 2011 00:48:18 -0700 (PDT) Sender: Fabrice Le Fessant Message-ID: <4DAFE141.7080003@inria.fr> Date: Thu, 21 Apr 2011 09:48:17 +0200 From: Fabrice Le Fessant User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.14) Gecko/20110223 Lightning/1.0b2 Thunderbird/3.1.8 MIME-Version: 1.0 To: caml-list@inria.fr References: <2054357367.219171.1300974318806.JavaMail.root@zmbs4.inria.fr> <4D8BD02D.1010505@inria.fr> <4D8C73C8.6020801@inescporto.pt> <1301055903.8429.314.camel@thinkpad> <341494683.237537.1301057887481.JavaMail.root@zmbs4.inria.fr> <4D8C944A.9060601@inria.fr> <4D8CB859.9040709@inescporto.pt> <4D8CDDCC.4010000@ens-lyon.org> <029701cbff90$7a874510$6f95cf30$@ffconsultancy.com> <76544177.594058.1303341821437.JavaMail.root@zmbs4.inria.fr> In-Reply-To: <76544177.594058.1303341821437.JavaMail.root@zmbs4.inria.fr> X-Enigmail-Version: 1.1.2 Content-Type: multipart/mixed; boundary="------------020802070705000002050002" X-Validation-by: fabrice.le_fessant@inria.fr Subject: Re: [Caml-list] Efficient OCaml multicore -- roadmap? This is a multi-part message in MIME format. --------------020802070705000002050002 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit On 04/21/2011 01:23 AM, Jon Harrop wrote: > The OCaml team at INRIA are not motivated to do this because it does not > constitute research, would probably make Coq slower and would burden them > with maintaining irrelevant features. You think the programmers in the world that are only interested in floating-point intensive computations, with fine-grain concurrency, are a huge majority. I think they are not so many. Can we do a better job of quantifying this ? > OCaml users just migrate to other languages that are closer to what they > want rather than spending years learning how to build a parallel OCaml, then > doing it and then building a community around it. The only notable exception > might be Jane St. Capital because they have the resources and a vested > interest in performance. There are other large companies invested in OCaml, > like Citrix, but they aren't so interested in parallelism. That's probably the reason why so many scientists use Python instead of OCaml, because it is faster with better multicore support ? I always thought Python was slower than OCaml, and had no multicore support... Fabrice --------------020802070705000002050002 Content-Type: text/x-vcard; charset=utf-8; name="fabrice_le_fessant.vcf" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="fabrice_le_fessant.vcf" begin:vcard fn:Fabrice LE FESSANT n:LE FESSANT;Fabrice org:INRIA Saclay -- Ile-de-France;P2P & OCaml adr;quoted-printable:;;Parc Orsay Universit=C3=A9 ;Orsay CEDEX;;91893;France email;internet:fabrice.le_fessant@inria.fr title;quoted-printable:Charg=C3=A9 de Recherche tel;work:+33 1 74 85 42 14 tel;fax:+33 1 74 85 42 49 url:http://fabrice.lefessant.net/ version:2.1 end:vcard --------------020802070705000002050002--