Aren't the errors generated by nonconforming types a way to trace through the app? That's the point of a strong type system: code that by definition won't work

Aren't the errors generated by nonconforming types a way to trace through the app? That's the point of a strong type system: code that by definition won't work isn't allowed to run.