Provide an option: static typing + type inference ?

[John Roth]

"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
Python?
> 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 cs.uoregon.edu
> http://www.cs.uoregon.edu
>
>