News for hackers. Stuff that matters.

A comment on Why writing a linked list in safe Rust is so damned hard. Parent comment

Re:Why writing a linked list in safe Rust is so damned hard by j1f4 on Thursday February 22, 2018 @08:03PM (#16443253)
The word that I have seen in similar contexts is 'trusted', which I like and would have preferred -- the block has extra privileges and isn't machine verified. Some people tend to give 'trusted' an opposite reading when they first come across it, though.
[ Parent | on HN ]
Re:Why writing a linked list in safe Rust is so damned hard by lmkg on Thursday February 22, 2018 @08:50PM (#16443532)
The problem with that word is it doesn't say who is doing the trusting, which is the crucial point. In fact, "trusted" can be used to describe both safe code and unsafe code. In the safe code, the programmer is trusting the compiler. In unsafe code, the compiler is trusting the programmer. Both code environments are "trusted," but the trust is being given to different parties.
[ Parent | on HN ]
Re:Why writing a linked list in safe Rust is so damned hard by mehrdadn on Thursday February 22, 2018 @08:06PM (#16443273)
Oh yeah, 'trusted' would definitely give the opposite of the intended meaning! I had to read your comment twice just to get why you were calling it that.
[ Parent | on HN ]