Comment by Xeamek
9 months 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.
9 months 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.
> 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).