Incredibly Strange Programming Languages - CodeMash 2017 - Preroll

Thought provoking quotes I showed before my CodeMash 2017 talk, Incredibly Strange Programming Languages

Transcript

1. Incredibly Strange Programming Languages! …will start at 12:15 p.m. “A language that doesn't affect the way you think about programming, is not worth knowing.” Alan Perlis
2. Incredibly Strange Programming Languages! …will start at 12:15 p.m. “I call it my billion-dollar mistake. It was the invention of the null reference in 1965…. My goal was to ensure that all use of references should be absolutely safe, with checking performed automatically by the compiler. But I couldn't resist the temptation to put in a null reference, simply because it was so easy to implement. This has led to innumerable errors, vulnerabilities, and system crashes, which have probably caused a billion dollars of pain and damage in the last forty years.” Tony Hoare
3. Incredibly Strange Programming Languages! …will start at 12:15 p.m. “We have seriously regressed since C developed. C has destroyed our ability to advance the state of the art in automatic optimization, automatic parallelization, automatic mapping of a high-level language to the machine.” Fran Allen
4. Incredibly Strange Programming Languages! …will start at 12:15 p.m. “Sometimes we don’t program to ship; we program to understand programming.” Nada Amin
5. Incredibly Strange Programming Languages! …will start at 12:15 p.m.
6. Incredibly Strange Programming Languages! …will start at 12:15 p.m. “Attempting to prove any nontrivial theorem about your program will expose lots of bugs. The particular choice of theorem makes little difference! Typechecking is good because it proves lots and lots of little theorems about your program.” Benjamin C. Pierce
7. Incredibly Strange Programming Languages! …will start at 12:15 p.m. “A language that doesn’t have everything is actually easier to program in than some that do.” Dennis M. Ritchie
8. Incredibly Strange Programming Languages! …will start at 12:15 p.m. “IDE features are language smells.” Reg Braithwaite
9. Incredibly Strange Programming Languages! …will start at 12:15 p.m. “The [Codasyl] Group started out by trying to design a language for stating procedures, but soon discovered that what was really required was a description of the data and a statement of the relationships between the data sets.” Grace Hopper
10. Incredibly Strange Programming Languages! …will start at 12:15 p.m.
11. Incredibly Strange Programming Languages! …will start at 12:15 p.m. “Type structure is a syntactic discipline for enforcing levels of abstraction.” John Reynolds
12. Incredibly Strange Programming Languages! …will start at 12:15 p.m. “Make illegal states unrepresentable.” Yaron Minsky
13. Incredibly Strange Programming Languages! …will start at 12:15 p.m.
14. Incredibly Strange Programming Languages! …will start at 12:15 p.m. –Kate Thompson “Read Tony Hoare instead of watching TV.”
15. –D. J. Bernstein “Anti-bug meta-engineering: Use language where a + b means exactly what it says.”