[MiroF]

A dynamic language can be super frustrating to develop with because you have to keep tensor dimensions memorized in your head or in comments

[marmaduke]

How is à statically typed language going to help with tensor dimensions?

[MiroF]

Named/typed axes checking - ie. I shouldn't be able to contract along two dimensions of different types (like batch dimension contracted with time dimension)