2 ms·
Types do not prove logistical correctness. Imagine a million-line codebase. There are half a dozen suspicious methods with complex sets of if/else if/else stat
by aantix 3y ago
Types do not prove logistical correctness.
Imagine a million-line codebase. There are half a dozen suspicious methods with complex sets of if/else if/else statements. And each of those statements make subsequent method calls.
Determining that code path is a nightmare. Types won't save you.
- masklinn 3y agoDo you mean logical? Types absolutely do prove logical correctness. In fact that’s all they do. However they can only prove the correctness of logic that’s type encoded. If your program is a primitive soup, there’s not much logic for them to prove.