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=1.0 required=5.0 tests=AWL,SPF_SOFTFAIL 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 63B46BBAF for ; Fri, 19 Dec 2008 18:57:37 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.36,250,1228086000"; d="scan'208";a="20624419" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Dec 2008 18:57:37 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id mBJHvaCY004625 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 19 Dec 2008 18:57:37 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqgBAMNuS0nUGyoblGdsb2JhbACBbJF5AQEBAQkLCAkRA6sOWJBqgwM X-IronPort-AV: E=Sophos;i="4.36,250,1228086000"; d="scan'208";a="32899667" Received: from smtp1-g19.free.fr ([212.27.42.27]) by mail4-smtp-sop.national.inria.fr with ESMTP; 19 Dec 2008 18:57:36 +0100 Received: from smtp1-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp1-g19.free.fr (Postfix) with ESMTP id CB0391AB39B for ; Fri, 19 Dec 2008 18:57:35 +0100 (CET) Received: from macbookpro.local (lns-bzn-48f-81-56-220-129.adsl.proxad.net [81.56.220.129]) by smtp1-g19.free.fr (Postfix) with ESMTP id E98361AB584 for ; Fri, 19 Dec 2008 18:57:26 +0100 (CET) Message-ID: <494BE164.6080803@univ-savoie.fr> Date: Fri, 19 Dec 2008 19:01:08 +0100 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.18 (Macintosh/20081105) MIME-Version: 1.0 To: OCaml Subject: Re: [Caml-list] The Axis of Eval (was: More cores) References: <899271.12846.qm@web111505.mail.gq1.yahoo.com> In-Reply-To: <899271.12846.qm@web111505.mail.gq1.yahoo.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 494BE090.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 cheers:01 affectation:01 ocaml:01 cheers:01 invoke:01 exception:01 exception:01 caml-list:01 functions:01 algorithm:01 Dear list members, > 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 > > > You can easily infer purity (meaning no affectation) of an ocaml expression using the same algorithm than for exception (numerous papers on that subkect) ... just tag ":=" and "<-" as being able to raise the fake exception "#Affect" which can not be catch by any try (because its name starts with a "#") ... Cheers, Christophe