"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."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
Software Engineering Radio Episode 140: Newspeak and Pluggable Types with Gilad Bracha
https://en.wikiquote.org/wiki/Gilad_Bracha
Revision History
No revisions have been submitted for this quote.
Categories
Gilad Bracha
1 quote on TrueQuotesView all quotes by Gilad Bracha →
Related Quotes
"Most of this printout was analysis from the Kotok program. And I also saw some kind of a textual thing, which I don’t…"
"You see, basically looking at only one wide, you just have no signals or noise function. In other words, you look at …"
"I started programming games on my TI-89 calculator in middle school or early high school, but I never thought of it a…"
"With modeling, you never have control over anything."
"being able to have complete power with these apps I develop is very fulfilling."
"If it means being smart and being a good programmer, then "I have no problem being a nerd."
"It never gets too old. I am just so pleased that I was able to make a contribution. When I was working, I never imagi…"
"I aspired to do something outside of farm work and I knew that having a good education would be the key."
"It’s always refreshing to hear how my work is now being used outside of the government and I am still amazed by the t…"
"It has history to discover, outlets for shopping, good food and a quiet atmosphere."