Provide an option: static typing + type inference ?
johnroth at ameritech.net
Tue Jun 10 14:20:38 CEST 2003
"Yan Weng" <yweng at cs.uoregon.edu> wrote in message
news:bc4071$936$1 at pith.uoregon.edu...
> In theory, dynamic typing = static typing + type inference.
> ML implemented the later one. Can we provide something similar in
> I knew this topic was discussed two years ago in type SIG. Is there
> achivement in this area recently?
You might want to look at Bicycle Repair Man. It's a refactorer that
implemented a form of type inference.
> Yan Weng
> yweng at cs.uoregon.edu
More information about the Python-list