Quote by Barbara Liskov
"Type checking is a form of conversation between the programmer and the machine about intent."
"Type checking is a form of conversation between the programmer and the machine about intent."
"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."