[rdnetto]

> I think you are confusing type errors with modeling errors, but that's very common.

How would you distinguish between them? Strong/expressive type systems encode the modelling in a way which is mechanically verifiable. e.g. by not permitting negative or fractional numbers to be submitted to a function which indexes an array.