Domain Driven Design (DDD) with Algebraic Data Types (ADT)
summary
Shows how algebraic data types map domain constraints into code: models bookings and books as ADTs, uses F# REPL live coding to build union types for basic/combo/full bookings and audio/electronic/print books, implements a private constructor and a rate function that only constructs rating 1-5, and relies on pattern matching exhaustiveness so the compiler fails if a case is unhandled. Notes interop with C# 9 product types and recommends wrapping F# libraries for C# callers.
AI-written summary · about
chapters (8)
- 0:00Start
- 0:54Overview
- 3:45Background
- 13:58FP code example
- 14:47Programming paradigms Imperative code
- 23:26Algebraic data types
- 50:23Programming paradigms FP code
- 51:18Summary
related talks
51mFunctional Programming and Domain Driven Design - a match in Heaven!
37mDomain modelling in object-oriented and functional programming, based on C# and F#
53mIntroduction to T(ype)DD with F# and Reactive Web Apps with Fable.io
49mDomain Modeling Made Functional
58mImplementing Domain Driven Design as a Pragmatic .NET Developer
51mDomain Modeling Made Functional
48mDomain-Driven Design tactically and practically
46mDomain modelling made simple: Functions and Values
