2009/10/14 John Cowan <[email protected]>: > David Rush scripsit: > >> But really the wonderful thing about Top-Levels >> Is that there's ONLY ONE. > > I assume this is the moral, but I don't understand it.
Well it was that pesky intuitive part of my brain that never bothers to explain itself and gets me into so much trouble with people who want formal rigor - BUT if there was a moral it would have been something like this: Module systems are a problem because they want to make it appear that there are many top-levels and that composition of top-level environments is simple. That composing TLs should be even possible seems like just so much typological nonsense to me. LAMBDA keeps the scope (and hence type complexity) nicely bounded. But I've already flogged that dog enough :) > If there is no moral, then fine; I'll sing it to my grandson tonight. Gah! Don't let a reverse-engineered moral get in the way of a good sing :) david -- GPG Public key at http://cyber-rush.org/drr/gpg-public-key.txt _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
