|
|
|
|
|
|
by entha_saava
2164 days ago
|
|
|
Static checking is just a part of correctness verification (pretty large chunk but not enough). It can't catch many logic bugs, eg forgetting to update a variable's value. The type system can't help without non-straightforward techniques, and at that point it is diminishing returns. A powerful type system shouldn't be an excuse for not being able to iterate fast. |
|
|