Think in Math. Write in Code.
Programmers love to discuss programming languages. We not only debate their technical merits and aesthetic qualities, but they become integrated into our personal identities, along with the values and traits that we associate with them. Some even defend a form of Linguistic Determinism that thinking is confined to what the language makes typable. Since we spend so much time writing code, a keen interest in language design is justified. However, the character of these discussions suggests that we think of them as much more, and have perhaps forgotten their primary role. Programming languages are implementation tools for instructing machines, not thinking tools for expressing ideas. They are strict formal systems riddled with design compromises and practical limitations. At the end of the day, we hope they make controlling computers bearable for humans. In contrast, thoughts are best expressed through a medium which is free and flexible. The natural language which has been effectively us
Think in Math. Write in Code. Home GitHub Rss Think in Math. Write in Code. 6/8/19 Programmers love to discuss programming languages. We not only debate their technical merits and aesthetic qualities, but they become integrated into our personal identities, along with the values and traits that we associate with them. Some even defend a form of Linguistic Determinism that thinking is confined to what the language makes typable. Since we spend so much time writing code, a keen interest in language design is justified. However, the character of these discussions suggests that we think of them as
Explore this link on the map →related reading
- how I think when I think about programming - alice mazalicemaz.com
- Kill Mathworrydream.com
- Learnable Programmingworrydream.com
- Up and Down the Ladder of Abstractionworrydream.com
- Learnable Programmingworrydream.com
- Kill Mathworrydream.com
- How Writing Changes Mathematical Thought | Quanta Magazinequantamagazine.org
- How To Think Real Good | Meta-rationalitymetarationality.com
- E.W.Dijkstra Archive: On the foolishness of "natural language programming". (EWD 667)cs.utexas.edu
- Rethinking Visual Programming with Go · divan's blogdivan.dev
- Abstraction (computer science) - Wikipediaen.wikipedia.org
- Structure and Interpretation of Computer Programsmitp-content-server.mit.edu