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 andrewflnr on Thursday February 22, 2018 @09:19PM (#16443677)
IMO that's less of a Rust problem than a problem for the next generation of verified languages. Probably total functional languages, or maybe just usable versions of Coq.
[ Parent | on HN ]

There are no comments on this comment yet.