Types and Compilers are our friends

The (natural) language we use is influenced by how we feel and what we think, but it also works the...