Type-Driven Development: Designing with Types

Static types can be used to model your domain in code. This will help reduce bugs and improve your design. Algebraic Data Types are a feature of languages from the ML family (e.g., OCaml/ReasonML and F#), that allow you to express more guarantees in a shorter time than in a Java or C# type system. Ted Monchamp and Justin Hewlett will present the basics of Algebraic Data Types (F#), and practice creating types that express a simple domain. They also explain how to make compile errors for invalid states. It is not necessary to have any prior knowledge of F# or functional programming.