Trusted Language Requirements
Trusted Language Requirements
Posted May 2, 2015 9:21 UTC (Sat) by roc (subscriber, #30627)In reply to: Trusted Language Requirements by HelloWorld
Parent article: Rust Once, Run Everywhere
Until someone writes a big, complicated system in that sort of language, nothing really has been shown. It's easy to design a sophisticated type system that can prove amazing things about toy programs.