[codygman]

I believe you could enforce something like compatible dimensions in Haskell in a library, but I could be wrong. If not, I wonder if you could do it in idris.

[Ixiaus]

Idris is a wonderful language but the tooling there is even more immature for numerical computing than Haskell.