undefined | Better HN

0 pointskingkilr15y ago0 comments

Eh? I'm not disputing that at all, I'm a contributor to PyPy, probably the leading python JIT. None of that has anything to do with whether it's semantically possible to do a full type inference on a language like Python.

0 comments

2 comments · 2 top-level

illumen15y ago

Full type inference has not been done in python... however partial type inference on python has been done.

The article is talking about partial type inference, and most implementations of type inference I've seen do partial type inference.

stcredzero15y ago

I'm not disputing either. I'm just pointing out that the dynamic language communities are neglecting a really valuable resource.

j / k navigate · click thread line to collapse