> the type system cannot prevent logic bugs or design bugs ^ your words, that statement is false. the type system _can_ prevent logic bugs or design bugs, ex

> the type system cannot prevent logic bugs or design bugs ^ your words, that statement is false. the type system _can_ prevent logic bugs or design bugs, exhaustive pattern matching is an obvious example. I bet you can find a way to express yourself which is true, e.g. "the type system cannot prevent _all_ logic bugs or design bugs"