News for hackers. Stuff that matters.

A comment on Our journey to type checking 4M lines of Python. Parent comment

Re:Our journey to type checking 4M lines of Python by pilif on Sunday September 08, 2019 @09:23AM (#20910434)
Not in a dynamic language. Finding all possible inputs to your method that’s calling float() on its Arguments in a dynamic language is akin to solving the halting problem.

Also, error messages in an IDE can be ignored. Compiler errors can’t.

[ Parent | on HN ]

There are no comments on this comment yet.