Notes on a Smaller Rust
&gt; I would probably experiment with exceptions if I were making this language.<p>Hard disagree. Rust made conscious design decisions (i.e. limiting type inference) to enable local reasoning, and exceptions are non-local.