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 <mra...@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 <sebast...@sipsolutions.net > <mailto:sebast...@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@python.org <mailto:NumPy-Discussion@python.org> > > https://mail.python.org/mailman/listinfo/numpy-discussion > > <https://mail.python.org/mailman/listinfo/numpy-discussion> > > > _______________________________________________ > NumPy-Discussion mailing list > NumPy-Discussion@python.org <mailto:NumPy-Discussion@python.org> > https://mail.python.org/mailman/listinfo/numpy-discussion > <https://mail.python.org/mailman/listinfo/numpy-discussion> > _______________________________________________ > NumPy-Discussion mailing list > NumPy-Discussion@python.org > https://mail.python.org/mailman/listinfo/numpy-discussion
_______________________________________________ NumPy-Discussion mailing list NumPy-Discussion@python.org https://mail.python.org/mailman/listinfo/numpy-discussion
