Comment by amelius

Isn't there a typesystem that can help with this?

E.g., give rows a type, give columns a type, and then if you multiply two matrices, see if the type of the columns of the first matrix and the type of the rows of the second matrix match.

Also, the typesystem could use units, just as they are used in physics.