[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2005-09-13 (14:45) |
From: | Arne Koewing <Arne.Koewing@I...> |
Subject: | Re: [Caml-list] Okasaki's $-Notation |
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...