From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <p.donadeo@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.3 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id B977BBBAF
	for <caml-list@yquem.inria.fr>; Fri, 19 Dec 2008 17:26:58 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqQBAKtZS0lKfS4ekGdsb2JhbACTJj4BAQEBCQkMBxEDqzpYg1SBA4wSAQMBA4MA
X-IronPort-AV: E=Sophos;i="4.36,250,1228086000"; 
   d="scan'208";a="20620334"
Received: from yw-out-2324.google.com ([74.125.46.30])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Dec 2008 17:26:58 +0100
Received: by yw-out-2324.google.com with SMTP id 5so365291ywb.3
        for <caml-list@yquem.inria.fr>; Fri, 19 Dec 2008 08:26:56 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:to
         :subject:in-reply-to:mime-version:content-type
         :content-transfer-encoding:content-disposition:references;
        bh=eZDOSUWgSEgvipBu7JmUBtb7TcSQJcbBuT2+b/c46Tk=;
        b=kQgYo4piaNooGF7bBb/xnXR3wXJN/4lq8upmFz6hUORVviamFkJ4FIs1p7fm3aM6R9
         sCgNhG+iB6d/SLoFK7LFnPGKAU5zd9S2HKOsO10sMHJGHGaECQd00R28MMsFz9xt9MTI
         APkGC039H8aym9ucrVPoQeRizgyaYuFwB2hhk=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:in-reply-to:mime-version
         :content-type:content-transfer-encoding:content-disposition
         :references;
        b=m46OMqFnnv94kvvU10Y2Ad3h5jufAtv1nn3nKDmIoFRPObmbA14O/o5f8BPp2ok5OR
         HLQzzLLXEyrmSHVvZ6Ka8C8MatzHyb3zsv7Pqpl3qDsuRRzK0B72rikuOXGf8lHrkeCB
         btzWUV8vJdNIBvVj1hfZCmc57xt3ipC4UZPTA=
Received: by 10.142.217.17 with SMTP id p17mr1379773wfg.275.1229704016157;
        Fri, 19 Dec 2008 08:26:56 -0800 (PST)
Received: by 10.142.214.13 with HTTP; Fri, 19 Dec 2008 08:26:56 -0800 (PST)
Message-ID: <4b5157c30812190826n344dbe92mbe2850459bd12704@mail.gmail.com>
Date: Fri, 19 Dec 2008 17:26:56 +0100
From: "Paolo Donadeo" <p.donadeo@gmail.com>
To: "OCaml mailing list" <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] The Axis of Eval (was: More cores)
In-Reply-To: <24075.55485.qm@web111515.mail.gq1.yahoo.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <52B31DF4-F49F-41A3-A630-CC9247C2F09C@gmail.com>
	 <24075.55485.qm@web111515.mail.gq1.yahoo.com>
X-Spam: no; 0.00; garbage:01 caml-list:01 caml:02 parameter:02 concurrent:04 concurrent:04 imo:04 function:08 collector:12 interesting:12 spawn:13 statement:13 flame:19 that:23 that:23 

> I can imagine a "spawn" statement in a concurrent Caml that expects
> that the function passed as parameter be pure.

This is, IMO, much more interesting than a concurrent garbage
collector (no flame, please!).


-- 
Paolo
~
~
:wq