Unknowable lifetimes are a necessary evil. Rust has them too. It's called RefCel... | Hacker News

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

login

kccqzy 8 months ago | parent | context | favorite | on: Circle C++ with memory safety

Unknowable lifetimes are a necessary evil. Rust has them too. It's called RefCell. Without RefCell there are very useful things that are impossible to write in safe Rust.

pornel 8 months ago [–]

But this needs to be explicit, and doesn't undermine other statically-known lifetimes (pointers to the inner cell can't escape it).

Just like statically typed languages have some dynamic dispatch features, but despite that still most of their types can be known with certainty.

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