On Thursday 23 October 2008 15:42:59 Ray Dillinger wrote: > Comparison procedures returning #f (or throwing exceptions) for > single and zero-arity cases would cause errors in code I've written > that sorts directories of files into order based on their timestamps.
Thank you. I do appreciate insights from people who write code to do things. > I've assumed that the predicates are true *unless* there is a pair > in sequence that violates the condition, because that seems to me > the obvious and only reasonable way for them to be defined. Assuming a condition is true without requiring existence is something one should do very carefully. It would seem much more natural to prove properties of entities that exist than for those that don't exist. Cheers, -KenD 1st Gangster: "If the guy is dead, you can't prove he is unhappy." ...later... 2nd Gangster: "I think we just proved that he can't be unhappy." _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
