Chris Smith <[EMAIL PROTECTED]> writes: > I thought about this in the context of reading Anton's latest post to > me, but I'm just throwing out an idea. I wrote: > I think there is some sense of convergence here.
Apologies for following-up to my own post, but I forgot to describe the convergence. The convergence is there is something more general that what type theorists talk about when discussing types. Type theory is an abstraction and systemization of reasoning about types. This more general reasoning doesn't need to be sound, it just needs to be based aound "types" and computations. My own reasoning uses such an unsound system. It has clear roots in sound reasoning, and I wish I could make it sound, but.... In any case, dynamic tagging helps support my unsound reasoning by providing evidence when I have made an error. I hope this makes it less mystical for Marshall. -Chris -- http://mail.python.org/mailman/listinfo/python-list