![](https://secure.gravatar.com/avatar/7b2fa384c7f1fcaef1e99d297b9a624b.jpg?s=120&d=mm&r=g)
Hi Juan Thanks for the kind words! why isn’t there a Subtract operator?
I *think* this is just because the implementation in Pyre is still an early prototype. Alfonso? is there a prospect for using actual operators and actual literals here?
That's a really good question. We're optimistic that actual literals should be possible - we assumed there was some subtle reason we'd have to use Literal, but when we briefly talked about it at PyCon, Guido was like "Nope, you should just write a PEP for that". As for actual operators - I can't think of any *technical* reason this shouldn't be possible - when it comes time to write a PEP for type arithmetic it's definitely something we should propose. Alfonso, any thoughts? Best, Matthew On Mon, 14 Jun 2021 at 03:51, Juan Nunez-Iglesias <jni@fastmail.com> wrote:
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@google.com> wrote:
Some links I promised to send around:
- 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 ditto for TensorFlow and PyTorch using value-based axis labels - 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@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 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
_______________________________________________ NumPy-Discussion mailing list NumPy-Discussion@python.org https://mail.python.org/mailman/listinfo/numpy-discussion