> Can the typechecker ensure that your matrices (constructed from files) have compatible dimensions to be multiplied together? It seems so http://stackoverflo

> 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-multiplication http://stackoverflow.com/questions/8332392/type-safe-matrix-...