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

Sure, if you put the burden of proving correctness of restrict on the developer.

That's like saying C programmers could just write memory safe code if they felt like this would help, so clearly memory safety is not important.



Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

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

Search: