On Mon, 27 Oct 2008, Elf wrote: > that said, after reading more of the discussion, i am convinced that the > single param comparison procedures should return #t (due to the recurrence > into (AND (comparison? x[n] x[n+1]) ...) demonstrated by aziz and others), > but that the zero param comparison procedures should signal errors. if the > single arg case is the null case of AND, what would the zero arg case be?
A recursive definition can have more than one base case. Consider, for example, the Fibonacci sequence. However, if that bothers you, you can define the concept of an ordered sequence declaratively (as was done earlier in this thread: for all pairs of indices i, j s.t. i < j, ....). _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
