Declarative Thinking, Declarative Practice

on YouTube ↗01h 34m

" summary

Argues that declaring intent often beats scripting mechanics, showing Make as declarative language, list comprehensions and lazy infinite ranges to avoid loops, four concrete FizzBuzz implementations (imperative, tail-return, set/range-based and a pipeline using max) with property tests that catch subtle semantic differences, a table-driven then collection-pipeline Roman-numeral builder (Bash and JVM examples), limits of pre/post contracts under concurrency, and an actor-style concurrent stack model that replaces locks.

AI-written summary · about

" chapters (12)

1. 0:00Start
2. 1:59Real start (end of meta talk)
3. 3:55'Make' as a declarative language
4. 6:22Reference to Fred Brooks' The Mythical Man-Month
5. 11:36Illiteracy and software developers.
6. 18:17FizzBuzz
7. 39:26Table-driven (instead of very redundant purely procedural code)
8. 44:05The collection pipeline solution
9. 51:42By search/replaces (Bash / Perl)
10. 53:10Stacks
11. 54:11Indirect reference to Bertrand Meyer's Eiffel book. Pre- /post conditions (asserts).
12. 1:05:48Concurrency vs. pre- /post conditions

" related talks

• 01h 01mEasy to Use, Hard to Misuse: Declarative Style in C++Ben Deane · CppCon 2018
• 28mWhat You See Is What It Does: A Structural Pattern for Legible SoftwareDaniel Jackson, Eagon Meng · Onward! 2025
• 52mThink Abstractly, Work ConcretelyIchiro Hasuo · POPL 2021
• 26mInfinite PossibilitiesEgon Elbre · GopherCon AU 2023
• 34mHow I learned to stop worrying and love Functional DesignFrancis Toth · Code Mesh LDN 2020
• 01h 01mThe power of compositionScott Wlaschin · DotNext 2019 Moscow
• 01h 24mProcedural Programming: It’s Back? It Never Went AwayKevlin Henney · ACCU 2018
• 01h 02mProcedural Programming: It Never Went AwayKevlin Henney · Build Stuff 2017