The compilers code being "unsafe"

Posted Apr 18, 2013 16:53 UTC (Thu) by ebiederm (subscriber, #35028)
Parent article: A taste of Rust

In a language that is sufficiently expressive it is possible to write a compiler that will not introduce bugs. For the constructive proof see the compcert C compiler http://compcert.inria.fr/.

Without dependent types Rust does not appear to be a language sufficiently expressive to write a compiler that will not introduce bugs. Rust seems to be seeking a different tradeoff between expressiveness and simplicity.