Hi Matthew and Pradeep,
Do you know if the typing summit will be recorded and if these will be made
available later?
While I’d love to attend the live event, this is unfortunately not possible due
to other obligations that day.
Regards, Bas
From: NumPy-Discussion
On Behalf Of
Matthew Rahtz
Sent: 04 May 2021 22:17
To: numpy-discussion@python.org
Cc: Pradeep Kumar Srinivasan
Subject: [Numpy-discussion] Catching array shape errors using the type checker
Hi all,
Tl;dr: come to our talk Catching Tensor Shape Errors Using the Type Checker at
the PyCon 2021 Typing Summit next week!
https://us.pycon.org/2021/summits/typing/
Longer version: over the past year a small group of us have been thinking about
how to use Python's type system to make tensor/array shape information more
visible, and to catch shape errors automatically using type checkers. In this
talk we'll discuss our tentative solution, talking about a) how it works, b)
some examples of what it looks like in practice, and c) what its limitations
are.
Hope to see you there!
Matthew and Pradeep
___
NumPy-Discussion mailing list
NumPy-Discussion@python.org
https://mail.python.org/mailman/listinfo/numpy-discussion
