Provide an option: static typing + type inference ?

Yan Weng yweng at
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

More information about the Python-list mailing list