Domain Driven Design with the F# type System -- NDC London 2013 (Video of these slides here http://fsharpforfunandprofit.com/ddd) Statically typed functional programming languages like F# encourage a very different way of thinking about types. The type system is your friend, not an annoyance, and can be used in many ways that might not be familiar to OO programmers. Types can be used to represent