AI Snips
Chapters
Transcript
Episode notes
Programming as Theory Building
- Programming is about building knowledge, not just producing code.
- This theory-building approach helps explain and address programming challenges.
The Compiler Story
- Two teams worked on a compiler, but the second team, lacking direct contact with the original team, lost the theory behind it.
- This made their modifications less effective, highlighting knowledge transfer.
Ryle's Concept of Theory
- Naur's theory building aligns with Ryle's, where 'theory' isn't just facts, but know-how.
- Having a theory means being able to do, not just say.