Programs should be written in languages that model them almost perfectly. Languages that are too powerful or too weak for the application means the programmer w

Programs should be written in languages that model them almost perfectly. Languages that are too powerful or too weak for the application means the programmer will make modeling mistakes and either leak abstractions or obscure them.