On Sun, 2009-09-20 at 15:33 -0400, John Cowan wrote: > Thomas Lord scripsit: > > > It occurs to me that there is no reason to > > have immutable vectors in the core. They can > > be created out of mutable vectors and the > > ability to define new disjoint types. > > There's no reason to have anything but lambda. > It's provably universal. End of story.
Nope, don't buy it. What you are pointing towards is enough to make a mathematical model of Scheme. (I'll spot you syntactic and lexical extensions and I/O). What I am pointing towards is, indeed, "fatter" than that - but it is also 1) a description of a useful implementation technique 2) a description that an be usefully used to reason about the operational behavior of programs (e.g., performance analysis), at least in broad terms, in a straightforward way. You could do a kind of "SIOD"-style implementation of what I'm describing and get something useful. Not so much with a "lambda-only" thing. And... hmmm.... that's an interesting idea. Something to do... Prbly take more than "OD", though. -t _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
