Type-Driven Development

The F# type system is both stronger and more flexible than the type system in e.g. C#. You can use this to your advantage to rapidly evolve a prototype. In this talk you'll see an example of how to evolve a Finite State Machine that solves a real problem, using the F# type system as a driver.