[r6rs-discuss] Comparison procedures' number of arguments

[Ken Dickey]

On Wednesday 22 October 2008 06:08:02 Jon Wilson wrote:
> In this case, we clearly have a matter on which different people's
> intuition gives different results.  

I would say that in this case there are multiple formalisms to choose from.

I don't believe the choice is obvious.

I don't believe that standardizing "if a predicate is inapplicable return #t", 
despite its help in simplifying proofs, helps me write robust, stable 
software systems.

Given that after 20 years there is still disagreement over defining records, I 
think the simple thing in this case is to avoid premature standardization.

$0.02,
-KenD