Is there any chance of type-checking Python 2 code? about pyre-check

[dkgi]

We support parsing of the annotations but supporting 2.7 is an explicit non-goal. We should definitely put that in the documentation. Thanks for pointing it out.

[dkgi]

Made the "Python 3" explicit on our front-page: https://pyre-check.org/

[drvink]

Could you elaborate on why it is an "explicit non-goal"? Would a PR be accepted that added support? I'm afraid that in 2018 there continues to be "the Python people actually use" and "the Python they want you to use", especially given the many programs that embed or otherwise use Python 2.7 as an extension language.

[gvanrossum]

You could use mypy instead. It works great for Python 2 and 3. :-)

[drvink]

Yes, I know :) But it would be nice to have multiple options!

[dark]

@drvink Supporting Python 2 is not just adding new code via a PR. It is also requires maintenance, testing, support and infrastructure.
Since we are a small team, we need to focus on the goals that are most important for us.
Python 2 will reach EOL sometime in 2020; hence, the long-term goals for Pyre are focused on working with Python 3 codebases, for the purpose of supporting deeper static analysis tools, as more deeply presented at our talk at PyCon: https://www.youtube.com/watch?v=hWV8t494N88 .

[drvink]

Thanks; that's a much better answer.