Want to Contribute to Numpy (Dependent) Types
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
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/
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
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 < 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/
There's also this:
https://paper.dropbox.com/doc/Type-system-improvements--Aoe13oDG8qQ6CdxhUpaE...
IIUC the proposals there are the state of the art. You can also search
https://github.com/python/typing/issues
On Tue, Nov 12, 2019 at 6:51 PM Teddy Liu
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
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/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 < 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?)* http://feministing.com/2015/02/03/how-using-they-as-a-singular-pronoun-can-c...
Teddy, I also am not clear about how much interest there is (in particular
w.r.t. numpy). I think it would be useful.
In short, I think that python needs variadics, numpy will need some stub
work (and my understanding is potentially some change to numpy itself).
With regards to mypy, a plug-in might be possible without modifications of
the mypy library itself, although that might depend on what you’re
interested in.
On Tue, Nov 12, 2019 at 9:53 PM Guido van Rossum
There's also this: https://paper.dropbox.com/doc/Type-system-improvements--Aoe13oDG8qQ6CdxhUpaE...
IIUC the proposals there are the state of the art. You can also search https://github.com/python/typing/issues
On 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
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/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 < 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?)* http://feministing.com/2015/02/03/how-using-they-as-a-singular-pronoun-can-c...
From the NumPy side, there is certainly interest, but NumPy has some
strange edge case behavior that will be hard to type check (which may limit
the impact of this work). Either way, this would be a big step forward for
the numeric Python ecosystem.
On Tue, Nov 12, 2019 at 7:15 PM Sahil Zubair
Teddy, I also am not clear about how much interest there is (in particular w.r.t. numpy). I think it would be useful.
In short, I think that python needs variadics, numpy will need some stub work (and my understanding is potentially some change to numpy itself).
With regards to mypy, a plug-in might be possible without modifications of the mypy library itself, although that might depend on what you’re interested in.
On Tue, Nov 12, 2019 at 9:53 PM Guido van Rossum
wrote: There's also this: https://paper.dropbox.com/doc/Type-system-improvements--Aoe13oDG8qQ6CdxhUpaE...
IIUC the proposals there are the state of the art. You can also search https://github.com/python/typing/issues
On 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
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/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 < 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?)* http://feministing.com/2015/02/03/how-using-they-as-a-singular-pronoun-can-c...
_______________________________________________ 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/
participants (4)
-
Guido van Rossum
-
Sahil Zubair
-
Stephan Hoyer
-
Teddy Liu