From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3KN0oww010655 for ; Thu, 21 Apr 2011 01:00:50 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap4BABRlr01KfVK2kGdsb2JhbAClPggUAQEBAQkJDQcUBCGrbI0ZAQWOHQEEhXGYKDo X-IronPort-AV: E=Sophos;i="4.64,248,1301868000"; d="scan'208";a="93525483" Received: from mail-wy0-f182.google.com ([74.125.82.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Apr 2011 01:00:45 +0200 Received: by wyf23 with SMTP id 23so1831413wyf.27 for ; Wed, 20 Apr 2011 16:00:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:from:to:cc:references:in-reply-to:subject:date :organization:message-id:mime-version:content-type :content-transfer-encoding:x-mailer:thread-index:content-language; bh=qRlqR28wVJTs4iXigwbZz2OIXZLGZ0c83EeNgRYoaKg=; b=bxDFzkDMYMLAhuPMNKBYbZcrD86SU48rhoXI3eXGIdMSlUarw9kKp0qg9d/lJrIT6t JfGnwj9dvARWKagRJAP5ZStwkeeYuMdHhzSGbLyGADB4tUPFn2F48s6zyFyKRfXYs0PK Orb4/CHCpPuTNKVhEPGlBL6Symj6AEGxOdLpE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=from:to:cc:references:in-reply-to:subject:date:organization :message-id:mime-version:content-type:content-transfer-encoding :x-mailer:thread-index:content-language; b=IUWMdMu0tJS1DUtFy+IXJgxzBj7YXJN78li6tSYRm+PmxwFHAdmmRjE00I+g+8Owgh PQIIuwC9Y9IrR5jUgvygjeceQg/hcw63p/vnrFDD5qJ82wXoMyspwzMKs6iCKWhcngVJ cWUg0Mf4Sw7AjA9ndKe98hIs8TG9m3vyZC4VI= Received: by 10.216.62.19 with SMTP id x19mr1385484wec.4.1303340444585; Wed, 20 Apr 2011 16:00:44 -0700 (PDT) Received: from WinEight ([80.229.123.248]) by mx.google.com with ESMTPS id ed10sm843528wbb.15.2011.04.20.16.00.42 (version=SSLv3 cipher=OTHER); Wed, 20 Apr 2011 16:00:43 -0700 (PDT) From: Jon Harrop To: "'Alexy Khrabrov'" Cc: "'Caml List'" 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> In-Reply-To: Date: Thu, 21 Apr 2011 00:00:26 +0100 Organization: Flying Frog Consultancy Message-ID: <02c201cbffae$bea46bb0$3bed4310$@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-Mailer: Microsoft Outlook 14.0 Thread-Index: AQFhMASujb2QG2h3N2h7/lJjoQ23OAIYQRkZAge6bucBi7oV8gIGVE8/AmcCvngCudDnUAFa0vZTAUOS6jwBrZhQP5Sz5jlQ Content-Language: en-gb Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p3KN0oww010655 X-Validation-by: jon@ffconsultancy.com Subject: RE: [Caml-list] Efficient OCaml multicore -- roadmap? Alexy wrote: > Jon -- based on your extensive expertise with F#, what do you think > is the main obstacle for OCaml to get the same kind of parallelism > which F# enjoys through .NET?  I think motive is the only obstacle. Nobody is sufficiently motivated to do this. 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. 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. Cheers, Jon.