|
|
|
|
|
|
by dirkt
1472 days ago
|
|
|
The goal of a type system is not to prevent all bugs, or to prevent all bad things happening at runtime. The goal is to catch as many bugs as possible BEFORE it runs in production. And even if you just catch a single bug, you have already won. In particular if the type system is balanced in such a way so there's not much additional effort involved (e.g. by using type inference). |
|
|