[Numpy-discussion] Tensor Typing presentation and discussion on Wednesday! (As part of the NumPy Community Meeting)
jni at fastmail.com
Sun Jun 13 22:49:39 EDT 2021
Thank you so much Matthew, Pradeep, and everyone else helping with this effort!
And thanks Matthew for sharing the slides — very informative! I’ve asked Sebastian for the recording but in the meantime I thought I’d ask a couple of questions about the syntax:
* why isn’t there a Subtract operator? It seems that Subtract[A, B] is much more readable than Add[A, Multiply[Literal[-1], B]]?
* is there a prospect for using actual operators and actual literals here? I think that a lot of reticence about Python typing comes from the annotations being so difficult to read. There’s been some great improvements recently with “Optional[Tuple[Union[Float, Int]]]” becoming “tuple[float | int] | None”, and I hope we can leapfrog the awkward phase with this tensor typing stuff. Again, A - B is much more readable again than Subtract[A, B]. And B-2 is much more readable than Add[B, Literal[-2]].
Other than that, love the work, thank you again!
> On 11 Jun 2021, at 5:08 am, Matthew Rahtz <mrahtz at google.com> wrote:
> Some links I promised to send around:
> https://github.com/deepmind/tensor_annotations <https://github.com/deepmind/tensor_annotations> which has a bunch of experimental shape-aware stubs for TensorFlow and JAX using 'semantic' axis labels
> https://github.com/pradeep90/pytorch_examples <https://github.com/pradeep90/pytorch_examples> ditto for TensorFlow and PyTorch using value-based axis labels
> https://arxiv.org/pdf/2102.13254.pdf <https://arxiv.org/pdf/2102.13254.pdf> Similar work in TensorFlow for Swift
> Slides <https://docs.google.com/presentation/d/1kLS-bz1ZmJIFizZExkm8N9jqAj2oOJzTmUaL8INGefc/edit?usp=sharing&resourcekey=0-eFDyGvcEeeHzF62x6Cwl6Q> for our presentation
> Tensor typing meeting details <https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayqVg8/edit>
> Thanks again, everyone!
> On Wed, 9 Jun 2021 at 22:28, Sebastian Berg <sebastian at sipsolutions.net <mailto:sebastian at sipsolutions.net>> wrote:
> On Tue, 2021-06-08 at 11:40 -0700, Stefan van der Walt wrote:
> > On Tue, Jun 8, 2021, at 03:23, Juan Nunez-Iglesias wrote:
> > > Hello! Any chance this could be recorded for those of us in useless
> > > time zones? 😂
> > I added a note to the agenda; we'll ask the speakers and record if
> > they don't mind.
> We have made a recording, but I did not plan on making it available
> publicly. Please contact me directly if you are interested.
> > Stéfan
> > _______________________________________________
> > NumPy-Discussion mailing list
> > NumPy-Discussion at python.org <mailto:NumPy-Discussion at python.org>
> > https://mail.python.org/mailman/listinfo/numpy-discussion <https://mail.python.org/mailman/listinfo/numpy-discussion>
> NumPy-Discussion mailing list
> NumPy-Discussion at python.org <mailto:NumPy-Discussion at python.org>
> https://mail.python.org/mailman/listinfo/numpy-discussion <https://mail.python.org/mailman/listinfo/numpy-discussion>
> NumPy-Discussion mailing list
> NumPy-Discussion at python.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the NumPy-Discussion