Project status and plans

[yang]

Hi, cool project! (As is any effort to bring static typing to Python, in my book.) What's the status of this project?

I tried throwing it at a couple of real code bases and it doesn't seem to be working. I can start debugging / posting issues, or if it's just not ready / meant for public consumption yet, I can save everyone's time and hold off. Or if there's some well-defined scope / set of limitations you can summarize, that would be immensely useful.

Also, is there some roadmap or timeline defined for this project? Esp. how that timeline compares to those of other on-going efforts such as mypy.

Lastly - is this a 20%/side project?

Thanks!

[matthiaskramm]

It's a full-time project. We've been at it for a few years.

The version that's currently on github isn't very functional yet. I'll push a newer version soon.

We're also working on integrating http://github.com/python/typeshed, which will, I hope, fix a lot of the issues you have encountered, by providing a much more complete specification of all the Python builtins.

Apart from that, the biggest limitation I'm currently aware of is lack of if-splitting. So pytype will be confused by something like

x = []
if x:
  return x[0]

claiming that you can't retrieve an item out of an empty list. mypy works around this by making you declare a type for the elements in your empty list. In pytype, we're probably just going to do if-splitting.

[yang]

Thanks!