[r6rs-discuss] [Formal] Simplifying conditions
andre at het.brown.edu
Mon Nov 27 07:46:25 EST 2006
On Mon, 27 Nov 2006, Michael Sperber wrote:
>> - Conversely, are singleton compound conditions simple conditions?
>> It seems to me that it would be simplest ;-) if they were indeed simple.
>> For example, does the one-argument case of
>> (make-compound-condition simple-condition)
>> return a simple condition?
> By the above predicate, yes.
In that case, calling it make-compound-condition does seem slightly confusing
to me. Something like "compose-conditions" might be easier (bit probably
does not matter much).
> Thus, every condition can be viewed as an
> ordered set of simple component conditions:
Is there a notion of equality that makes it a set as opposed to a list? In
other words, can one observe the difference between
(make-compound-condition x x)
and (make-compound-condition x)
using explode-condition? If one can, it might be better not to use the word
More information about the r6rs-discuss