[r6rs-discuss] [Formal] forall and exists description and examples

From: Michael Sperber <sperber>
Date: Thu Oct 5 06:19:23 2006

I am posting this as an individual member of the Scheme
community. I am not speaking for the R6RS editors.

AndrevanTonder <andre_at_het.brown.edu> writes:

> - The descriptions of forall and exists are confusing and incomplete.
> For example, it is not stated that proc must take as many arguments
> as there are lists. Also, it is not explained what applying proc
> "elementwise" means. - The last example of each of forall and exists
> are missing closing parentheses.
> - There is no example with more than one list argument.

This is tricky stuff. I'll try to address these to the best of my
ability in the next revision. I'll close the issue for now---you
might want to check this again when it comes out.

Note that the specification can't state that proc must take as many
arguments as there are lists---this must only be the case if the lists
are non-empty.

-- 
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Thu Oct 05 2006 - 06:19:14 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC