(for-all cond list1 [... listn])

[John_Small]

It would be nice if (for-all ..) allowed for additional,
optional list arguments.

(for-all (fn (item) ...) list1 ... listn)

It may not always be efficient to use append to
concatenate the lists since the for-all may be in
a loop itself.

It would also be nice to have a disjunction complement to
for-all called for-any

(for-any cond list1 ... listn)

[Lutz]

isn't 'for-any' what we have in 'exists' (at the moment for just one list)?

Or do you mean:

Code: Select all

(or (for-all cnd list1) (for-all cnd list2) ...)

If not can you give a specific example for 'for-any'.

Lutz

[John_Small]

I didn't see that before.

[Lutz]

I remember spending days of pondering if to name this 'exists' or 'for-any'. 'for-any' connects better to 'for-all' but it seems that math/logicians and the Scheme standard R6RS spec prefer 'exists'.

Was do you think?

Lutz

[John_Small]

my eye sight isn't the greatest any more.

I didn't see the hyperlink to exists in the manual
at the bottom of the example.