🚀 go-pugleaf

In article <1992Nov12.220621.14143@cs.tu-berlin.de> wg@opal.cs.tu-berlin.de (Wolfgang Grieskamp) writes:

   >   strangesucc n =	hd [x|x<-[0..];x>n];
   >   ...
   >   [Major collection... 21% used (3397260/15733684), 1920 msec]
   >   ...
   >   GC Stack Overflow !

   Whats funny with this example that the stream (lazy list) in the list
   comprehension can be seen as an imperative counter which is
   communicated to the consumer (hd): [example deleted]

Sure. Many such expressions can be converted into something imperative
(c.f. the CommonLisp Iterate macros). However, some interesting and
useful others cannot.

In general, I do think it would be nice if streams became a part of
eager functional programming languages and if optimizers tried to do a
better job at optimizing them. What about it for "SML the next
generation"?

					Thomas.