3 ms·
>I don't get it, what's the point of type checking if not to reject invalid programs? Because not every program that doesn't compile is necessarily invalid.
by Xeamek 2y ago
>I don't get it, what's the point of type checking if not to reject invalid programs?
Because not every program that doesn't compile is necessarily invalid.
- lelanthran 2y ago> Because not every program that doesn't compile is necessarily invalid. I think that more programmers should be aware of this point. Rust doesn't reject code that will crash, it rejects code that it cannot prove won't crash. The code being rejected might be just fine (as numerous examples in the article showed).