Domain Modeling Made Functional

on YouTube ↗52m

" summary

Shows concrete rewrites of a messy contact model into F# types that enforce rules at compile time: uses Option<T> instead of null, wraps strings as single-case unions (EmailAddress, String50) to embed validation, and replaces a boolean email flag with an Email | VerifiedEmail choice so only a verification service can create verified values. Demonstrates pattern matching, algebraic (sum/product) types, and how making illegal states unrepresentable removes many runtime checks and unit tests.

AI-written summary · about

" chapters (4)

1. 0:00Start
2. 7:36Polymorphism
3. 9:40Rapid development cycle
4. 10:50F# for Domain Driven Design

" related talks

• 51mDomain Modeling Made FunctionalScott Wlaschin · KanDDDinsky 2019
• 49mDomain Modeling Made FunctionalScott Wlaschin · DevTernity 2022
• 46mDomain modelling made simple: Functions and ValuesIsaac Abraham · KanDDDinsky 2022
• 46mDesign for errors - An introduction to Domain Modeling with a bit of ArrowIvan Morgillo · Voxxed Days Ticino 2019
• 43mIs Maybe an Option (for modelling your domain)?Roman Sachse · KanDDDinsky 2019
• 43mWrite your own domain specific language with F#Mikhail Smal · NDC Oslo 2019
• 53mIntroduction to T(ype)DD with F# and Reactive Web Apps with Fable.ioF. Pellet, C. Bouillier · ScalaIO 2019
• 01h 03mFunctional Programming with C#Simon Painter · NDC Oslo 2020