Hi Teddy,
You may already be aware of the github issue here and some of the resources
on it: https://github.com/numpy/numpy-stubs/issues/5
One of the resources on the github issue is a google doc you can find here
https://docs.google.com/document/d/1vpMse4c6DrWH5rq2tQSx3qwP_m_0lyn-Ij4WHqQq...,
it provides some good framing.
https://docs.google.com/document/d/1vpMse4c6DrWH5rq2tQSx3qwP_m_0lyn-Ij4WHqQq...
Additionally, I wrote a "demo" mypy plugin that attempts to do some basic
form array shape checking for a handful of functions (matmul, some
reductions). https://github.com/szb0/shape-types
Hope this finds you well,
Sahil
On Tue, Nov 12, 2019 at 8:41 PM Teddy Liu
Hi!
I'm a student at Harvard studying CS right now. For my thesis, I'm really interested in adding types to numpy as well as general capabilities for extending the Python system with "dependent" types. I want to add the feature of statically determining the alignment of array dimensions.
Let me know how I can get started on this project!
Sincerely, Teddy _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/