3 ms·
I think describing these as static type systems is a bit limiting. I prefer to think of them as static code analyzers. They don't change anything about the repr
by aero142 8y ago
I think describing these as static type systems is a bit limiting. I prefer to think of them as static code analyzers. They don't change anything about the representations in memory, but they do validate invariants about the code. I actually hope we start seeing systems that validate invariants that are not type based like "SQL Injection Safe SQL Query" and "Range between 10-100".
- dragonwriter 8y ago> I actually hope we start seeing systems that validate invariants that are not type based like "SQL Injection Safe SQL Query" and "Range between 10-100". Both of those can be types in a rich enough type system; the latter is a fairly common example for dependent types, for instance.
- hellofunk 8y agoAgreed, it's like saying C++ has a borrow checker like Rust because memory sanitization tools exist.