On Tue, 2009-09-22 at 23:57 -0400, Aubrey Jaffer wrote: > | A sequence of what now? What exactly is it represented as a > | string of length 1? > > (string-ref "abc" 1) --> "b".
As I mentioned to John, sure... you *can* inductively define strings and string-length that way but you aren't going to succeed in doing it without effectively embedding something like codepoints in your model. It's also non-standard to talk about lists of things without specifying a separate, underlying domain of list elements. It's also realistic in implementations that you have to recognize some underlying domain of elements. So let Scheme reflect on the existence of characters per se: the type of elements of the finite lists which are strings. -t _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
