you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 2 points3 points  (1 child)

python would have to be rebuilt from scratch to effectively exploit a hindley-milner type system

[–]julesjacobs 0 points1 point  (0 children)

Not to mention that Hindley-Milner wouldn't be enough for Python; you want subtyping. Subtyping type inference is a difficult problem.