[Dewie]

> Can the typechecker ensure that your matrices (constructed from files) have compatible dimensions to be multiplied together?

It seems so

http://stackoverflow.com/questions/8332392/type-safe-matrix-...