Hacker Newsnew | comments | show | ask | jobs | submit login

the "who's memory is this anyway" type checking thing in Rust is one of the most interesting advancements of the state of the art of low-level programming that I'm aware of in my lifetime.

... I sort of think we should just port it to C.




> ... I sort of think we should just port it to C.

It's been done, at least in academia: http://cyclone.thelanguage.org/

We owe a huge debt to Cyclone :)

-----




Guidelines | FAQ | Support | API | Lists | Bookmarklet | DMCA | Y Combinator | Apply | Contact

Search: