Quote by Barbara Liskov
"Type systems are not about being pedantic; they are about expressing intent and preventing a category of mistakes."
More from Barbara Liskov
"The key to good software design is understanding the problem domain deeply before writing code."
"Abstraction is not about being vague; it's about capturing the essential complexity while hiding the irrelevant details."
"A program should be written for people to read, and only incidentally for machines to execute."
"Good design is about making trade-offs consciously, not accidentally."