“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.”

—  Gilad Bracha

Software Engineering Radio Episode 140: Newspeak and Pluggable Types with Gilad Bracha http://www.se-radio.net/2009/07/episode-140-newspeak-and-pluggable-types-with-gilad-bracha/

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "The wonderful thing about dynamic typing is it lets you express anything that is computable. And type systems don’t — t…" by Gilad Bracha?
Gilad Bracha photo
Gilad Bracha 1
American software engineer

Related quotes

Stanley Tookie Williams photo

“The death penalty, it's not a system of justice, it is a system of – a so-called system of justice that perpetuates a, shall I say, a vindictive type of response, a vigilante type of aura upon it. We’re talking about something that is barbaric.”

Stanley Tookie Williams (1953–2005) American criminal

Democracy Now! interview (2005)
Context: The death penalty, it's not a system of justice, it is a system of – a so-called system of justice that perpetuates a, shall I say, a vindictive type of response, a vigilante type of aura upon it. We’re talking about something that is barbaric. We’re talking about something that – it doesn't deter anything. I mean, if it did, then it wouldn't be so many – especially in California, we're talking about over 650 individuals on death row. And if it was a deterrent, this place wouldn't be filled like this. And it's an expensive ordeal that – the money, as you know, the monetary means comes out of the taxpayers' pocket.

Patrick Rothfuss photo

“You don’t seem the superstitious type.”

Patrick Rothfuss book The Name of the Wind

“I’m not,” Ben said. “I’m careful. There’s a difference.”
Source: The Name of the Wind (2007), Chapter 12, “Puzzle Pieces Fitting” (p. 93)

Marvin Minsky photo

“In today's computer science curricula … almost all their time is devoted to formal classification of syntactic language types, defeatist unsolvability theories, folklore about systems programming, and generally trivial fragments of "optimization of logic design"”

Marvin Minsky (1927–2016) American cognitive scientist

the latter often in situations where the art of heuristic programming has far outreached the special-case "theories" so grimly taught and tested — and invocations about programming style almost sure to be outmoded before the student graduates.
Turing Award Lecture "Form and Content in Computer Science" (1969) http://web.media.mit.edu/~minsky/papers/TuringLecture/TuringLecture.html, in Journal of the Association for Computing Machinery 17 (2) (April 1970)

David H. Levy photo

“There are two types of people in this world — those who think that there are two types of people in this world, and those who don’t.”

David H. Levy (1948) Canadian astronomer

Humor in Psychotherapy (2007)

Michael Crichton photo

“Those who are certain are demonstrating their personality type, or their belief system, not the state of their knowledge.”

Michael Crichton (1942–2008) American author, screenwriter, film producer

Environmentalism as a Religion (2003)
Context: The second reason to abandon environmental religion is more pressing. Religions think they know it all, but the unhappy truth of the environment is that we are dealing with incredibly complex, evolving systems, and we usually are not certain how best to proceed. Those who are certain are demonstrating their personality type, or their belief system, not the state of their knowledge.

“It's okay. You aren't my type.
What's your type?
Someone who gets into less trouble.”

Karen Chance American writer

Source: Hunt the Moon

“[Systems should be classified] on the basis of the types of inputs with which they must cope.”

Robert E. Machol (1917–1998) American systems engineer

Source: System Engineering (1957), p. 299; As cited in: Thomas C. Ford (2008) Interoperability Measurement. p. 146

“The beginning of administrative wisdom is the awareness that there is no one optimum type of management system.”

Tom Burns (1913–2001) British sociologist

Source: The Management of Innovation, 1961, p. 125
Context: We have endeavored to stress the appropriateness of each system to its own specific set of conditions. Equally, we desire to avoid the suggestion that either system is superior under all circumstances to the other. In particular, nothing in our experience justifies the assumption that mechanistic systems should be superseded by organic in conditions of stability. The beginning of administrative wisdom is the awareness that there is no one optimum type of management system.

Ron Paul photo

“The type of people who gravitate to the government system are doing this out of desperation and they don't really have the answers, and eventually... [will] fail.”

Ron Paul (1935) American politician and physician

2019

Dennis M. Ritchie photo

“What we wanted to preserve was not just a good environment in which to do programming, but a system around which fellowship could form. We knew from experience that the essence of communal computing, as supplied by remote-access, time-shared machines, is not just to type programs into a terminal instead of a keypunch, but to encourage close communication.”

Dennis M. Ritchie (1941–2011) American computer scientist

In a 1980 lecture "The Evolution of the UNIX Time-sharing System", as quoted in Christopher Negus, Linux Bible 2010 Edition http://books.google.com/books?id=W5vItTVMLaYC&pg=PT650 (2010),

Related topics