There's also this: https://paper.dropbox.com/doc/Type-system-improvements--Aoe13oDG8qQ6CdxhUpaEmWFjAg-HHOkniMG9WcCgS0LzXZAeIIUC the proposals there are the state of the art. You can also search https://github.com/python/typing/issuesOn Tue, Nov 12, 2019 at 6:51 PM Teddy Liu <theodore_liu@college.harvard.edu> wrote:Thank you for that information! Based on the edit dates on this document, it doesn't seem like there's been much momentum behind this project. Have people agreed upon some syntax for it yet? If not, who will get to determine that in the future? Also, I don't have a good concept of whether supporting these features would require a direct modification of the python typing library, mypy, or numpy stubs.Would love to hear more about that!_______________________________________________On Tue, Nov 12, 2019 at 8:56 PM Sahil Zubair <sahilzubair@gmail.com> wrote: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/5One of the resources on the github issue is a google doc you can find here, it provides some good framing.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-typesHope this finds you well,SahilOn Tue, Nov 12, 2019 at 8:41 PM Teddy Liu <theodore_liu@college.harvard.edu> wrote: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/
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/
----Guido van Rossum (python.org/~guido)Pronouns: he/him (why is my pronoun here?)