News for hackers. Stuff that matters.

A comment on My experience rewriting Enjarify in Rust. Parent comment

Re:My experience rewriting Enjarify in Rust by cousin_it on Tuesday September 20, 2016 @08:36AM (#12538989)
I think you could have mut visible at the language level, but otherwise have all parameter passing look and feel like Java, without any pointer noise or implicit copying.
[ Parent | on HN ]
Re:My experience rewriting Enjarify in Rust by masklinn on Tuesday September 20, 2016 @10:10AM (#12539595)
How would lifetimes work? Java & al get away with it because they don't reify lifetimes and the concepts of reference and value are moved at the type level (and they don't use affine types).
[ Parent | on HN ]
Re:My experience rewriting Enjarify in Rust by cousin_it on Tuesday September 20, 2016 @03:55PM (#12542781)
From looking at research languages with similar systems (Mezzo, LinearML...) none of them seem to have pointer noise. I might be missing something though.
[ Parent | on HN ]