Future of Coding cover image

Programming as Theory Building by Peter Naur

Future of Coding

CHAPTER

The Theory Building Podcast

Theory is not linear because it's a know how and know how's don't have an order. As to the use of particular kinds of notation or formalization, again, this can only be a secondary issue since the primary item, the theory, is not and cannot be expressed. Riding a bike is an expression of the theory of how to ride a bike. The choice of programming language can make a big difference. If you are joining a team where the program is written in assembly, it may be harder to develop a theory of what the program does than if the program were written in Rubyor something like that.

00:00
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner