From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 26B61BB81 for ; Mon, 13 Dec 2004 22:16:44 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iBDLGhPp023327 for ; Mon, 13 Dec 2004 22:16:43 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA14599 for ; Mon, 13 Dec 2004 22:16:43 +0100 (MET) Received: from rproxy.gmail.com (rproxy.gmail.com [64.233.170.202]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iBDLGguX023324 for ; Mon, 13 Dec 2004 22:16:42 +0100 Received: by rproxy.gmail.com with SMTP id r35so1198404rna for ; Mon, 13 Dec 2004 13:16:42 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:references; b=jbjfjsTcehskhHkuzbjzR/vHJGJ90OT812wotLAnUkF8KFmUDHL56lgBH6saN9ZXqpaDuh5CsdOB4swRmT3zg4zIW3xQk6QioWSF64QAvpbf5FQ0Ql/XbDDyknj2xzH7upRcZ/uwgHsspZ6TS4rY+QNcTlGMWBoxfE5S9cxVySY= Received: by 10.38.71.51 with SMTP id t51mr2740700rna; Mon, 13 Dec 2004 13:16:41 -0800 (PST) Received: by 10.38.86.10 with HTTP; Mon, 13 Dec 2004 13:16:41 -0800 (PST) Message-ID: <877e9a17041213131655ea8e93@mail.gmail.com> Date: Mon, 13 Dec 2004 16:16:41 -0500 From: Michael Walter Reply-To: Michael Walter To: Thomas Fischbacher Subject: Re: [Caml-list] environment idiom Cc: Jacques Garrigue , caml-list@inria.fr In-Reply-To: Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit References: <877e9a170412121844b633bb8@mail.gmail.com> <877e9a1704121218456af9df9@mail.gmail.com> <20041213.182117.79057361.garrigue@math.nagoya-u.ac.jp> <877e9a17041213020570590649@mail.gmail.com> X-Miltered: at nez-perce with ID 41BE06BB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 41BE06BA.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 cheers:01 idiom:01 reasoning:01 int:01 int:01 theoretical:03 dec:03 anyway:05 michael:07 michael:07 object:09 actually:10 might:10 walter:10 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.0 X-Spam-Level: On Mon, 13 Dec 2004 11:29:05 +0100 (CET), Thomas Fischbacher > Hm, I think Klaus would strongly object to any statement of the form > > > you can clearly see what you are getting by simply looking at > > the type (IO Int). > > as every type will contain junk: > > (x::IO Int) where x = x >>= return Sure. You can include the "junk" into your reasoning (and also take the fact that you might never actually get anything into account). Anyway, my statement was more of a pun at the WYSIWYG mentioned by the poster I was replying to, than a definite theoretical statement. Cheers, Michael