~/talk

Domain Driven Design (DDD) with Algebraic Data Types (ADT)

links:none on file
slides:none on file

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

  1. 0:00Start
  2. 0:54Overview
  3. 3:45Background
  4. 13:58FP code example
  5. 14:47Programming paradigms Imperative code
  6. 23:26Algebraic data types
  7. 50:23Programming paradigms FP code
  8. 51:18Summary
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.