Provide an option: static typing + type inference ?

John Roth johnroth at
Tue Jun 10 14:20:38 CEST 2003

"Yan Weng" <yweng at> wrote in message
news:bc4071$936$1 at
> 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
any new
> 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.

John Roth
> --
> Yan Weng
> yweng at

More information about the Python-list mailing list