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

Indeed. This harks back to old debates:

- do I really need threads when I can share non-mutable messages or copies of same? Maybe (speed, throughput). Maybe not. Depends. What's clear is I need choice.

- how do I get correctness? Rust maybe checks for index bounds. But in C++ I just relegate that to a library and voila std::string/vector.

I am concerned for Rust: placing too much emphasis on correctness through language alone seems to be a weak point. Correctness through libraries and augmenting with formal tools seems like a much stronger solution.



One of unsafe's big roles is for people to be able to create new kinds of safety outside of the language proper.




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

Search: