What Orwell's 1984 Can Teach Us About Programming
summary
Claim: Orwell’s three slogans map to concrete strongly typed functional techniques and the examples actually work. The talk defines precise types to fight effects (Option/Maybe, Either with error accumulation), shows flatMap/for-comprehensions and applicative vs monad tradeoffs to handle control flow and collect multiple errors, uses functor/fix-style step types to fuse translation+evaluation into one pass, and leverages parametricity to let the compiler rule out bugs. All examples are in the repository and run to demonstrate the claims.
AI-written summary · about
chapters (12)
- 0:00Start
- 1:35Recap
- 6:36Aspects Immutability
- 9:42Chainable Function
- 12:41Exceptions
- 13:30Pattern Matching
- 14:33What Is Multiplicity
- 17:39What Went Wrong
- 19:00Smart Constructors
- 21:05Type Sensor
- 26:26Front Functors
- 34:15Swap Function
related talks
58mKeynote: Why Functional Programming Matters
44mFunctional Programming You Already Know
47mPlain Functional Programming
23mReasoning about types and code
34mHow I learned to stop worrying and love Functional Design
47mThe 4 Rules of Simple Design In Functional Programming
58mFunctional Programming with C#
56mFunctional Programming on .NET - The Best of Both Worlds