2 ms·
> Factually, Rust's type system guarantees, if consistently upheld, would have eliminated those bugs. You are missing my point. It doesn't guarantee to not cau
by zzzcpan 12y ago
> Factually, Rust's type system guarantees, if consistently upheld, would have eliminated those bugs.
You are missing my point. It doesn't guarantee to not cause other bugs. And saying that something eliminates some type of bugs is completely misleading, because this is not what matters. It matters to not cause other bugs as well as eliminate some bugs. Which is impossible to guarantee with formal methods. And which is why current academic approach to languages cannot bring us anything, until the whole system changes.
Psychological approach to programming language design is what has to happen. Anything else is broken.
- FreeFull 12y agoIt's impossible to eliminate all bugs, no matter what you do. Psychological design will eliminate some bugs but not all. Static type system will eliminate some bugs, but not all. The best you can do is try to eliminate as many bugs as possible, by doing multiple things that give the best returns, given the bugs you're targeting.