Yesterday's Cargo
summary
Argues for abandoning ritualized patterns and shows concrete tools: a tiny property framework called pollution property-testing that generates streams of values (examples run functions 10,000 times to explore domains), a flow DSL called diet transformations with a stepper, full history, rewind and fork (FizzBuzz, run‑length encoding, Hangman all implemented and working), and a minimal fetcher gen_server plus pooled services to regain parallelism (notes 128 vs 32 lines template sizes and demos return expected results).
AI-written summary · about
chapters (23)
- 0:00Intro
- 0:44History
- 3:40Cargo Cult
- 4:16QuickSir
- 5:22Property Tests
- 6:40Random Person
- 7:18Pollution
- 7:50Teaching Elixir
- 8:06Basic Processor
- 8:33State
- 10:18Can we write non trivial programs
- 11:22Transformers
- 11:56Transformation Patterns
- 13:12Direct Transformations
- 18:53RunLength Encoding
- 22:29RLE
- 25:02Hangman
- 28:12Program Counter
- 29:38Transformation History
- 30:53Side Effects
- 31:22Servers
- 32:17Writing Code
- 40:14Conclusion
related talks
01h 08mLightning Talks Day 2
28mLanguage Support for Property-Based Testing
46mBoundaries
20mUnlock The Power Of Property-Based Testing
47mSpecs2, from starters to dessert and... a look in the kitchen.
08mExample-driven development: bridging tests and documentation
32mGenerative Testing: Properties, State and Beyond
23mProperty based testing is a mindset