3 ms·
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
by jes5199 13y ago
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.
- pcwalton 13y ago> ... I sort of think we should just port it to C. It's been done, at least in academia: http://cyclone.thelanguage.org/ http://cyclone.thelanguage.org/ We owe a huge debt to Cyclone :)