GOTO is a vendor independent international software development conference with more that 90 top speaker and 1300 attendees. The conference cover topics such as .Net, Java, Open Source, Agile, Architecture and Design, Web, Cloud, New Languages and Processes

Presentation: "Types + Properties = Software"

Track: The New Microsoft / Time: Monday 15:50 - 16:40 / Location: Rosenborg

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 lot of effort in mainstream object-oriented languages. In functional languages like F# and Haskell, on the other hand, this is possible using a purely declarative approach to types.
 
Once your types can guarantee that only valid states are representable, Property-Based Testing becomes a breeze.
 
In this talk, we'll look at using the powerful combination of F# types and FsCheck properties to address an example problem.

Download slides

Mark Seemann, Creator of AutoFixture; author of Dependency Injection in .NET

Mark Seemann

Biography: Mark Seemann

Mark Seemann is the inventor of AutoFixture and the author of "Dependency Injection in .NET". He is a professional software developer and architect living in Copenhagen, Denmark, and currently an independent advisor. He enjoys reading, drawing, playing the guitar, good wine, and gourmet food.

Twitter: @ploeh