Re: [Scheme-reports] Formal Comment: what is the required behavior of 'lazy'?

[John Cowan <cowan@x>]

Richard Kelsey scripsit:

> Summary: 'lazy' is underspecified

Ticket #416 created.

As Alex noted, the text has been changed to:

  The expression (delay-force expression) is conceptually similar to
  (delay (force expression)), with the difference that forcing the
  result of delay-force will in effect result in a tail call to (force
  expression), while forcing the result of (delay (force expression))
  may not.  Thus iterative lazy algorithms that may result in a long
  series of chains of delay and force can be rewritten using
  delay-force to prevent consuming unbounded space during evaluation.

(where lazy has been renamed delay-force).

Since this change is purely editorial, ticket #416 has been closed.

-- 
John Cowan    cowan@x    http://ccil.org/~cowan
The whole of Gaul is quartered into three halves.
        --Julius Caesar

_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports