Rust has no theoretical inconsistencies.... a remarkable achievement...
Simon Peyton Jones. 46 minutes into here: Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones)
High praise indeed coming from someone who takes formalism and correctness so seriously.