4 ms·
> 80% of Rust's type safety. Sort of like closing 80% of a submarine's hatches and then diving.
by munificent 1y ago
> 80% of Rust's type safety.
Sort of like closing 80% of a submarine's hatches and then diving.
- mixmastamyk 1y agoVery few bugs are life-threatening.
- pkolaczk 1y agoBut they decrease productivity. And I seriously think many teams don’t track the time sunk for fixing bugs / defects properly and they overestimate their productivity, especially the initial productivity boost from not having to think about types.
- munificent 1y agoThe problem with an unsound type system like TypeScript's is that once a value of an unexpected type has snuck through a soundness hole, it can end up anywhere in the program, even in code that seems fully safe. (Also, it means that you don't get any performance benefit from static typing your program.)