Chris Smith wrote: > > Going back to my > handy copy of Pierce's book again, he claims that range checking is a > solved problem in theory, and the only remaining work is in how to > integrate it into a program without prohibitive amounts of type > annotation.
This is in TAPL? Or ATTPL? Can you cite it a bit more specifically? I want to reread that. Marshall -- http://mail.python.org/mailman/listinfo/python-list
