undefined | Better HN

0 pointsformerly_proven4y ago0 comments

Rust should be able to elide more checks than most other languages without impacting safety.

0 comments

That's the assumption, but that doesn't mean it's the case. Certainly bounds checks are impossible to prove at compile-time.

What language are you talking about?

j / k navigate · click thread line to collapse

0 pointsformerly_proven4y ago0 comments

Rust should be able to elide more checks than most other languages without impacting safety.

dom964y ago

That's the assumption, but that doesn't mean it's the case. Certainly bounds checks are impossible to prove at compile-time.

What language are you talking about?

j / k navigate · click thread line to collapse