Domain Modeling Made Functional

Overview

Explore domain modeling through functional programming in this 52-minute conference talk. Learn how statically typed functional languages offer a unique approach to types, making them valuable tools for self-documentation and business rule encoding. Discover techniques to leverage the type system for fine-grained domain representation and compile-time correctness checks. Gain insights into using types as part of a domain-driven design process, illustrated with simple real-world examples in F#. Delve into topics such as algebraic type systems, sum types, pattern matching, optional values, and business rule implementation. Suitable for all skill levels, this jargon-free presentation requires no prior F# experience and demonstrates how functional programming can enhance domain modeling practices.

Syllabus

Intro
Why do domain modeling
How can we reduce the garbage in
Domain modelling made functional
Domain driven design
Outline
Is Functional Programming Scary
Functional World
Functional Program
Domain During Design
Shared Mental Model
Context
Terminology
Code
Persistence
Algebraic Type System
Composable Type System
Sum Type
Payment Methods
Pattern Matching
Type Checking
Optional Values
Optional Boolean
Optional String
Required Choice
Email Addresses
Customer IDs
Email Address
Spring
Ecommerce
Business Rules
Contact Information
Static Types
Summary
FSHARP