In theory, dynamic typing = static typing + type inference. ML implemented the later one. Can we provide something similar in Python? I knew this topic was discussed two years ago in type SIG. Is there any new achivement in this area recently? -- Yan Weng yweng at cs.uoregon.edu http://www.cs.uoregon.edu