Domain Modeling Made Functional - Scott Wlaschin - KanDDDinsky 2019
What it is
Scott Wlaschin shows how statically typed functional languages, using F# examples, can model a business domain so that invalid states cannot be represented. The type system acts almost like an instant unit test at compile time.
Why Hacker News recommends it
HN treats it as the canonical, approachable example of domain-driven design with types and 'make invalid states unrepresentable'.
- 3 people recommended it
- 4 different months
- 1 strong recommendations
- first 2020, last 2026
What HN commenters said
“this talk opened my eyes to the power of f# philosophy and type system”
Opened commenter's eyes to F# philosophy and type system.
devmunchies, 2020-08 · Strong recommendation · in “Draft of OCaml Scientific Computing book”
“For anyone looking for a smaller introduction to this book”
Short introduction to the book of the same name.
Huggernaut, 2021-02 · Recommendation · in “Learn Functional Programming Visually”
“offers a very appealing example for making making invalid states unrepresentable”
Appealing example of making invalid states unrepresentable.
rapnie, 2025-09 · Recommendation · in “'Make invalid states unrepresentable' considered harmful”
Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.
Topics: f#, functional programming, domain-driven design, type systems, scott wlaschin
Also recommended by the same people
documentaryTIMELAPSE OF THE FUTURE: A Journey to the End of Time (4K)melodysheep · 13 HN recommenders · 2019–2025
talkThe past, present, and future of local-first - Martin Kleppmann (Local-First Conf)Local-First Conf · 1 HN recommender · 2025–2025
talkMakepad: Designing modern UIs with Rust - Rik Arends - RustNL 2023RustNL · 2 HN recommenders · 2023–2024
talkWho Destroyed Three Mile Island? - Nickolas Means | The Lead Developer Austin 2018LeadDev · 4 HN recommenders · 2020–2024
talkRuby Conf 12 - Y Not- Adventures in Functional Programming by Jim WeirichConfreaks · 17 HN recommenders · 2013–2026
talkThe Soul of Erlang and Elixir • Sasa Juric • GOTO 2019GOTO Conferences · 16 HN recommenders · 2019–2024
talk"Simple Made Easy" - Rich Hickey (2011)Strange Loop Conference · 14 HN recommenders · 2022–2026
talk"Making Impossible States Impossible" by Richard Feldmanelm-conf · 9 HN recommenders · 2017–2026