“The result is potent: we end up with a language that’s safer than popular statically typed languages and often more expressive than dynamically typed languages. This is a strong claim to make, and we will back it up with evidence throughout the book.”