|
|
|
|
|
|
by kod
604 days ago
|
|
|
> 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" |
|
|