[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] Promises that force themselves

Alex Shinn scripsit:

> > Arguably, the "first time" the promise is forced is at line 9 in the
> > example, and the "second time" is at line 6.  However, at that time
> > line 6 gets executed, no value has been computed *yet*, so presumably
> > this example follows the spirit of the law.


> The example in question has been in the report since R4RS, so we can't
> change this without breaking compatibility, and can't do that without
> good reason.

Prose trumps examples, though, and the prose really is ambiguous.
It's not clear whether the value of a forced promise is determined at
the beginning of the force or at its end, which makes it unclear whether
the first time is really at line 6 after all.  That's quite independent
of threading considerations.

John Cowan  cowan@x    http://ccil.org/~cowan
Big as a house, much bigger than a house, it looked to [Sam], a grey-clad
moving hill.  Fear and wonder, maybe, enlarged him in the hobbit's eyes,
but the Mumak of Harad was indeed a beast of vast bulk, and the like of him
does not walk now in Middle-earth; his kin that live still in latter days are
but memories of his girth and his majesty.  --"Of Herbs and Stewed Rabbit"

Scheme-reports mailing list