From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 49936BB9C for ; Tue, 13 Sep 2005 16:14:14 +0200 (CEST) Received: from conn.mc.mpls.visi.com (conn.mc.mpls.visi.com [208.42.156.2]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j8DEEDOb006845 for ; Tue, 13 Sep 2005 16:14:14 +0200 Received: from [192.168.42.2] (bhurt.dsl.visi.com [208.42.141.66]) by conn.mc.mpls.visi.com (Postfix) with ESMTP id 1353881C4; Tue, 13 Sep 2005 09:14:12 -0500 (CDT) Date: Tue, 13 Sep 2005 09:15:52 -0500 (CDT) From: Brian Hurt X-X-Sender: bhurt@localhost.localdomain To: Arne Koewing Cc: OCaml List Subject: Re: [Caml-list] Okasaki's $-Notation In-Reply-To: <87slw9njnq.fsf@informatik.uni-oldenburg.de> Message-ID: References: <87slw9njnq.fsf@informatik.uni-oldenburg.de> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Miltered: at concorde with ID 4326DEB5.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 okasaki's:01 arne:01 koewing:01 okasaki's:01 lazy:01 notation:01 2005,:98 wrote:01 computation:01 computation:01 figuring:03 figuring:03 pattern:03 brian:03 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 On Tue, 13 Sep 2005, Arne Koewing wrote: > Hi everyone, > > has somebody already tried to implement > Okasaki's $-Notation for lazy values in ML > in camlp4 ? > > I'm stuck, implementing his pattern matching extension, > (I'm completely new to camlp4...) A) No I haven't, so judge the following comments with this in mind B) One of the reasons I don't like Okasaki's $ notation is that it represents both suspending the computation and forcing the computation. I often times have trouble figuring out which meaning is meant with any given use. Which I'm wondering might not be your problem- if I have a hard time figuring it out, how hard is it going to be for the computer to figure it out? Brian