Experience Report: Domain Modeling with F# (short talk)
summary
Argues that F# serves as a practical replacement for COBOL/Java for business domain modeling by using algebraic types, single‑case unions and smart constructors to build a readable, change‑friendly model. Demonstrates live collaborative domain driven design where types like payment method and verified email are composed from small aliases and choices, models a verification service returning an option, and shows this composable types style enforces rules at compile time, making illegal states unrepresentable and eliminating whole classes of bugs.
AI-written summary · about