[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)