5 ms·
It is, especially if these checks are done at compile time, not at runtime.
by nitroll 10y ago
It is, especially if these checks are done at compile time, not at runtime.
- 102910201 10y agoExpect a blog post within four hours "Rust has solved the halting problem!"...
- prodigal_erik 10y agoEven when you can't prove what arbitrary code does, proving what well-written code does is useful, and not writing unprovable code would be a small price to pay.
- berkut 10y agoHow can checks be done if the size is dynamic based on run-time data?
- prodigal_erik 10y ago"Integer between 0 and n-1 inclusive" is the type of valid indices for an n element array. The trouble is most languages don't have type systems that allow expressing that.
- pjmlp 10y agoThe Pascal family are such languages.