Types + Properties = Software | fsharpConf 2016 | Channel 9

Given a sufficiently strong type system, you can model your problem domain in such a way that invalid states become unrepresentable. This is one of the corner stones of encapsulation, but requires a l

Read at https://channel9.msdn.com/Events/FSharp-Events/fsharpConf-2016/Types-Properties-Software