I like the idea of compile-time asserting that no runtime check is needed for ar... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Yoric 4 months ago \| parent \| context \| favorite \| on: Ask HN: What are you working on? (July 2025) I like the idea of compile-time asserting that no runtime check is needed for array access!

thomasmg 4 months ago [–]

Thanks! I know Rust, Java etc do a good job of array bound check elimination, but I prefer a way to _ensure_ there is no check. I felt this was missing.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact