Tensors static typing

[sighoya]

@jerry73204

Those interested can look at my typ to see how it's possible in Rust.

Interesting

@jerry73204

How to encode complex logic in types. For example, can we statically compute the dimensions of tensor product of two tensors?

I think that this will be possible someday with const generics, when the logic only involves addition and multiplication.

@jerry73204

For the second issue, we could interpolate runtime checkers by dispatching UTerm + UTerm and UTerm + Dyn into different impl blocks, and insert checkers accordingly

I think too, that this will happen someday with const generics but there are other problems incured by const generics and dispatching, see this thread.