"The wonderful thing about dynamic typing is it lets you express anything that is computable. And type systems don’t — type systems are typically decidable, and they restrict you to a subset. People who favor static type systems say “it’s fine, it’s good enough; all the interesting programs you want to write will work as types”. But that’s ridiculous — once you have a type system, you don’t even know what interesting programs are there."
React to this quote
Resonant Thoughts
"Analysis of a system reveals its structure and how it works. It provides the knowledge required to make it work efficiently and to repair it when it stops working. Its product is know-how, knowledge, …"
Explore Further
Related Quotes
"Order issued on all faujdars of thanas, civil officers , agents of jagirdars, kroris, and amlas from Katak …"
— Aurangzeb"The British…used to regard foreigners as either a comic turn or a sexual menace. To learn a European langua…"
— Anthony Burgess"“What’s the use of knowing the name of a skull? One would never have occasion to talk of it,” said the fat …"
— Fritz Leiber"I was filled with joy when studying quantum physics at the university as a means to understand the universe…"
— Narges Mohammadi"As for the Jews, their explanation of anti-Semitism is more characteristic yet. In addition to the usual cl…"
— A.C. Cuza"There is nothing like losing all you have in the world for teaching you what not to do. And when you know w…"
— Edwin Lefèvre
Related Thinkers
Related Topics
Deep Dives
- N. R. Narayana Murthy on knowledge
- Bran Ferren on knowledge
- Jim Lovell on knowledge
- Larry Wall on knowledge
- Linus Torvalds on knowledge
- Vitruvius on knowledge
- Erik Naggum on knowledge
- N. R. Narayana Murthy on leadership
- N. R. Narayana Murthy on books
- N. R. Narayana Murthy on creativity
- justice & Beauty
- justice & Change


