Even then shape errors would require a dependent type system not found in most static languages.