Tl;dr: come to our talk *Catching Tensor Shape Errors Using the Type
Checker* at the PyCon 2021 Typing Summit next week!
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