From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Arne.Koewing@Informatik.Uni-Oldenburg.DE>
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 1D30BBB9C
	for <caml-list@yquem.inria.fr>; Tue, 13 Sep 2005 16:45:11 +0200 (CEST)
Received: from arbi.Informatik.Uni-Oldenburg.DE (arbi.informatik.uni-oldenburg.de [134.106.1.7])
	by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j8DEjAvY010443
	for <caml-list@yquem.inria.fr>; Tue, 13 Sep 2005 16:45:10 +0200
Received: from taifun.Informatik.Uni-Oldenburg.DE ([134.106.11.36])
	by arbi.Informatik.Uni-Oldenburg.DE (Exim 3.36)
	id 1EFC22-0002Gn-00; Tue, 13 Sep 2005 16:45:10 +0200
Received: from localhost.katatsumuri ([134.106.11.155])
	by taifun.Informatik.Uni-Oldenburg.DE (Exim 3.36)
	id 1EFC21-0004Vm-00; Tue, 13 Sep 2005 16:45:09 +0200
From: "Arne Koewing" <Arne.Koewing@Informatik.Uni-Oldenburg.DE>
To: OCaml List <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] Okasaki's  $-Notation
In-Reply-To: <Pine.LNX.4.63.0509130913530.1312@localhost.localdomain> (Brian
	Hurt's message of "Tue, 13 Sep 2005 09:15:52 -0500 (CDT)")
Date: Tue, 13 Sep 2005 16:44:02 +0200
Organization: Carl von Ossietzky =?iso-8859-1?Q?Universit=E4t?= Oldenburg
References: <87slw9njnq.fsf@informatik.uni-oldenburg.de>
	<Pine.LNX.4.63.0509130913530.1312@localhost.localdomain>
User-Agent: Gnus/5.110004 (No Gnus v0.4) Emacs/22.0.50 (gnu/linux)
Message-ID: <87fys93u13.fsf@informatik.uni-oldenburg.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Miltered: at concorde with ID 4326E5F6.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; arne:01 koewing:01 arne:01 koewing:01 caml-list:01 okasaki's:01 okasaki's:01 notation:01 ocaml's:01 lazy:01 lazy:01 ...:98 writes:01 computation:01 computation:01 
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

Brian Hurt <bhurt@spnz.org> writes:

>
> 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?

Well, that's true.
I like that his suspending operation does not need parenthesis, but
that's no major advantage over ocaml's "lazy".

But support for pattern-matching of lazy values seems to be valuable...