I've read quite a lot about mypy and optional static typing in Python, and was wondering if there are any large and successful projects that use it?
If you're currently using it, I'd love to hear some impressions.
Ask HN: Anyone using Python's static typing in a large project?
1–5 of 5 posts
Re: Ask HN: Anyone using Python's static typing in a large project?
#2Zulip's post on their experience with mypy got some discussion last year.
221 comments: https://news.ycombinator.com/item?id=12703008
Blog post: http://blog.zulip.org/2016/10/13/static-types-in-python-oh-m...
Re: Ask HN: Anyone using Python's static typing in a large project?
#3Zulip's post on their experience with mypy got some discussion last year. 221 comments: https://news.ycombinator.com/item?id=12703008 Blog post: http://blog.zulip.org/2016/10/13/static-types-in-python-oh-m...
Yes, I'm familiar with their post, and it's great that their server code is available on Github [1].
Was hoping to find more projects using it.
[1] https://forms.mvs.co.il/formally/LoginDocSign.aspx?ID=4491b7...
Re: Ask HN: Anyone using Python's static typing in a large project?
#4Google internally uses pytype, which is similar to mypy, and while not globally used, is used on across a large number of files.
Re: Ask HN: Anyone using Python's static typing in a large project?
#5Dropbox and Instagram use mypy/typing actively. Also among open-source:
https://github.com/home-assistant/home-assistant
https://github.com/mitmproxy/mitmproxy
https://github.com/sphinx-doc/sphinx
I would say the opposite, it is not very useful for small projects.