[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] "unspecified values"
On Fri, 20 May 2011, Aaron W. Hsu wrote:
> Indeed, I see no reason why an implementation should not be able to return
> no values when there are no "useful" values to consider, and R6RS moved
> *away* from overspecifying this to allow implementation to return as many
> different values as they felt like doing. I've mentioned before that this
> seems to be a much better thing than to force a single value.
> However, the votes came in and R5RS' semantics won out.
I think the R6RS approach here is superior. It removes a useless postulate
regarding the behavior of portable programs and enlarges the space of conforming
implementations. In removing this weakness/restriction, it seems to me more
Schemely, in the sense of the first paragraph of the introduction of R7RS.
I think that if R7RS wishes to go to the trouble of reintroducing this rather
useless restriction, it will need to accompany it by some very strong
Scheme-reports mailing list