On Tue, Nov 28, 2017 at 5:11 PM Robert T. McGibbon
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