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=2.0 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,DNS_FROM_RFC_WHOIS 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 C4B70BBAF for ; Fri, 19 Dec 2008 18:01:34 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.36,250,1228086000"; d="scan'208";a="32897276" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 19 Dec 2008 18:01:34 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mBJH1XSR027789 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 19 Dec 2008 18:01:34 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigDAB9iS0lDww+dkWdsb2JhbACOQ4UhAQEBAQcNCgcRA6spWINUjRUFAgGDAA X-IronPort-AV: E=Sophos;i="4.36,250,1228086000"; d="scan'208";a="21533591" Received: from web111505.mail.gq1.yahoo.com ([67.195.15.157]) by mail1-smtp-roc.national.inria.fr with SMTP; 19 Dec 2008 18:01:33 +0100 Received: (qmail 13132 invoked by uid 60001); 19 Dec 2008 17:01:31 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID; b=bXFzHIL/tgc+A8odZ9B/TgPzQ34E8adcVMjZXWHGjHUTq3UXQEvXKIDSg1IAiP1K6Br+hYilaXIPPJetEkFTTfJYuM4xshd7KddljWl4AS87TYT+DSmRN/ihqua6+IUcF8RNE9AcnAVY8wxyHMbdo+5wfMiUdLh3rbUW+fPEo7Q=; X-YMail-OSG: I2__jC0VM1m3th8W0JaMZHEndTfCc3pAzRF2n3hiaTzCq_nuzazL9hFgmzHXHmxbqPLFUKTC4DoRSJCwzCvzkb4jIVm2S44GloWzGc2V.mENyvL8ypFsIraZ8Cadqi.tQI88B_7yhAGoST1yYhhUuIjfzi.LlabubcKjNKSezXFzMII- Received: from [213.205.71.56] by web111505.mail.gq1.yahoo.com via HTTP; Fri, 19 Dec 2008 09:01:31 PST X-Mailer: YahooMailWebService/0.7.260.1 Date: Fri, 19 Dec 2008 09:01:31 -0800 (PST) From: Dario Teixeira Subject: Re: [Caml-list] The Axis of Eval (was: More cores) To: Alexy Khrabrov Cc: OCaml 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: quoted-printable Message-ID: <899271.12846.qm@web111505.mail.gq1.yahoo.com> X-Miltered: at discorde with ID 494BD36E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; cheers:01 invoke:01 caml-list:01 functions:01 functions:01 caml:02 parameter:02 concurrent:04 modify:05 function:08 function:08 incidentally:10 research:12 question:13 spawn:13 Hi again, > I can imagine a "spawn" statement in a concurrent Caml that expects > that the function passed as parameter be pure. And of course a function > would only be pure if it did not modify global state and only invoked > pure functions itself. Incidentally, it is of course possible for a function to invoke impure functions while still being pure itself (ie, it ensures the impurity does not "leak out"). One question to those more familiar with current language research: any recommended resources out there about this topic? Cheers, Dario Teixeira =0A=0A=0A