Just as every day thoughts are expressed in natural language, and formal deductions are expressed in mathematical language, methodological thoughts are expressed in programming languages. A programming language is a method for communicating methods, not just a means for getting a computer to perform operations – programs are written for people to read as much as they are written for machines to execute.
— Lisp: A language for stratified design
— Harold Abelson, Gerald Jay Sussman
— SICP distilled
2013.05.31 Friday ACHK