Does Static Typing Eliminate Type Errors?

static typing prevents me from expressing the constructs that i want to express. Ah, you can define type in a very formal and, ah, i don't want to say, strict way,. Such that it is type checkable, writ so that you can write a practical type checker for it. And that's what haskell has done, and it's, it's a real feat of engineering to do that and to sign ok. In the long run, it's probably better to have a computer be doing the logic, you know, consistency checking for you - which is what the type checker is doing.