the "who's memory is this anyway" type checking thing in Rust is one of the most... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

jes5199 on Nov 22, 2013 | parent | context | favorite | on: History of T

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 on Nov 22, 2013 [–]

> ... 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 :)

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact