Quote by Barbara Liskov
"Type systems are like promises we make to ourselves and others. Keep them."
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."