Top 1 Benjamin C. Pierce Quotes
#1. Q: Why bother doing proofs about programming languages? They are almost always boring if the definitions are right.
A: The definitions are almost always wrong.
- Anonymous
#1. Q: Why bother doing proofs about programming languages? They are almost always boring if the definitions are right.
A: The definitions are almost always wrong.
- Anonymous