On Tue, Nov 28, 2017 at 5:11 PM Robert T. McGibbon <rmcgibbo@gmail.com> wrote:
I'm strongly in support of this proposal.  Type annotations have really helped me write more correct code.

I started working on numpy type stubs a few months ago. I needed a mypy plugin to support shape-aware functions. Those whole thing is pretty tricky. Still very WIP, but I'll clean them up a little bit and opensource it shortly.

Great to hear -- I'd love to see what this looks like, or hear any lessons you learned from the experience!

Actual experience using and writing such a type checker gives you a valuable perspective to share, as opposed to my speculation.

Cheers,
Stephan