Provide an option: static typing + type inference ?

Yan Weng yweng at cs.uoregon.edu
Tue Jun 10 09:00:14 CEST 2003


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






More information about the Python-list mailing list