What Orwell's 1984 Can Teach Us about Programming
summary
Maps Orwell’s three slogans to programming lessons and shows how those ideas correspond to techniques in strongly-typed functional programming. Uses concrete Scala code to demonstrate fighting effects, selecting appropriate abstractions, and applying parametricity to guide implementations; examples target developers with intermediate typed FP experience.
AI-written summary · about
chapters (30)
- 0:00Intro
- 1:291984 - Recap
- 1:57The Slogans
- 3:21Nullability
- 7:06Exceptions
- 8:36Multiplicity
- 9:45War is Peace
- 10:41Freedom
- 11:40The crime
- 11:58Atonement
- 12:21Smart Constructors
- 14:39Rules
- 16:05Collecting Errors
- 17:02The Mistake
- 18:37The Remedy
- 19:53Applicative Censorship
- 23:06Enemies of the People
- 23:22Ignorance
- 26:11Duplication
- 26:55Translation
- 28:09Explicit Recursion
- 29:36No Recursion
- 30:37Building Blocks
- 31:40Fusion
- 33:04Interface
- 33:38Follow the Types
- 35:33Fusing
- 36:25Tracing the Execution
- 37:40Conclusion
- 38:02Further Reading
related talks
48mWhat Orwell's 1984 Can Teach Us about Programming
42mThe Structure of Programming Revolutions
52mProgramming is (should be) fun!
01h 02mZen and the Art of Code Lifecycle Maintenance
52mThe Language of Programming
32mBeyond Code: What Role Does Philosophy Play in Programming?
53mClosing Keynote
11mProgramming Like An Athlete