用函数式方法做领域建模

Scott Wlaschin shows how statically typed functional languages, using F# examples, can model a business domain so that invalid states cannot be represented. The type system acts almost like an instant unit test at compile time.

Why HN likes it: HN treats it as the canonical, approachable example of domain-driven design with types and 'make invalid states unrepresentable'.

“this talk opened my eyes to the power of f# philosophy and type system”