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 _______________________________________________ r6rs-discuss mailing list r6rs-discuss@lists.r6rs.org http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss