
Provide an option: static typing + type inference ?
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
http://www.*-*-*.com/