[Numpy-discussion] Tensor Typing presentation and discussion on Wednesday! (As part of the NumPy Community Meeting)

[Juan Nunez-Iglesias]

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!

Juan.

> 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.
> 
> Cheers,
> 
> Sebastian
> 
> 
> > 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
> https://mail.python.org/mailman/listinfo/numpy-discussion

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.python.org/pipermail/numpy-discussion/attachments/20210614/bf102613/attachment-0001.html>