[r6rs-discuss] [Formal] Simplifying conditions

From: AndrevanTonder <andre>
Date: Mon Nov 27 07:50:51 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).

Also

> 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
"set".

Cheers
Andre
Received on Mon Nov 27 2006 - 07:46:25 UTC