Types + Properties = Software

A session at GOTO Copenhagen 2015

Monday 5th October, 2015

3:50pm to 4:40pm (CET)

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.

About the speaker

This person is speaking at this event.
Mark Seemann

Creator of AutoFixture; author of Dependency Injection in .NET

Sign in to add slides, notes or videos to this session

Tell your friends!


Time 3:50pm4:40pm CET

Date Mon 5th October 2015

Short URL


View the schedule


Books by speaker

  • Dependency Injection in .NET

See something wrong?

Report an issue with this session