> Their runtimes are implemented in raw C or C++ and are not formally verified. ... | Hacker News

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

login

pjmlp on Dec 1, 2014 | parent | context | favorite | on: Rust borrow and lifetimes

> Their runtimes are implemented in raw C or C++ and are not formally verified.

This is not true of all implementations. There are meta-circular implementations of Java and C# compilers, that people keep forgetting about.

pcwalton on Dec 1, 2014 [–]

Metacircular implementations still have a runtime underneath. You can't escape the need for formal verification if you want to be provably correct.

pjmlp on Dec 1, 2014 | [–]

Yes, but it is simplified by removing a whole class of exploits C and C++ allow for.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact