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=none 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 1F0A0BBCA for ; Fri, 9 May 2008 14:11:09 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtoCALjcI0jQccgFf2dsb2JhbACBU5AzAQELBQIGBxGYeQ X-IronPort-AV: E=Sophos;i="4.27,460,1204498800"; d="scan'208";a="25998199" Received: from lax-green-bigip-5.dreamhost.com (HELO looneymail-a2.g.dreamhost.com) ([208.113.200.5]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 May 2008 14:10:40 +0200 Received: from Robert-Fischers-Smokejumping-MacBook-Pro.local (c-76-113-178-230.hsd1.mn.comcast.net [76.113.178.230]) by looneymail-a2.g.dreamhost.com (Postfix) with ESMTP id EB57016EF8D for ; Fri, 9 May 2008 05:10:35 -0700 (PDT) Message-ID: <48243F3B.3050403@fischerventure.com> Date: Fri, 09 May 2008 07:10:35 -0500 From: Robert Fischer User-Agent: Thunderbird 2.0.0.14 (Macintosh/20080421) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Concurrency [was Re: [Caml-list] Re: Why OCaml rocks] References: <200805090139.54870.jon@ffconsultancy.com> <74cabd9e0805082145p120ce487h6c1194d87f3f8396@mail.gmail.com> <200805090609.36123.jon@ffconsultancy.com> <1210331526.17578.32.camel@flake.lan.gerd-stolpmann.de> <20080509115809.GA5717@kerneis.info> In-Reply-To: <20080509115809.GA5717@kerneis.info> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocaml:01 caml-list:01 functions:01 arbitrary:02 arbitrary:02 concurrency:04 concurrency:04 concurrent:04 passing:05 passing:05 barrier:05 i'd:06 i'd:06 thread:06 function:08 One of the big reasons I'd like to see single-process concurrency is because I'd like to be able to hand an arbitrary function to be executed on a different (truly concurrent) thread. There are very significant boundaries to passing around arbitrary functions via message passing (multiprocess concurrency), but the barrier to entry is much lower within the same process. ~~ Robert.