So, Rust has a Hindley-Milner type system (Ocaml), hygenic macros (Scheme) and a condition system (Common Lisp). Astoundingly powerful!