Panu Kalliokoski wrote:
> True, but the implementation is already there for those who want
> something rigorous. :)

So long as the implementation is *normative* and not simply
*informative*, then fine. That needs to be made clear, though.

> It's just that viewed differently, (hash-table-ref) can be seen as a
> kind of control structure, similar to (and) or (if).

Careful! The logical endpoint of this kind of thought is normal-order
evaluation... :)

> Actually, to be really useful, promises should be implicitly forced.
> This would make them a "real" abstraction vehicle.  But this has wide
> ramifications in the language...

Indeed.

Tony