Types + Properties = Software

A session at NDC Community Tuesday

Tuesday 16th June, 2015

6:30pm to 7:15pm (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 properties to address an example problem.

About the speaker

This person is speaking at this event.
Mark Seemann

Speaking at NNUG Oslo's Meetup

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

Tell your friends!


Time 6:30pm7:15pm CET

Date Tue 16th June 2015

Session Hash Tag


Short URL


View the schedule



Books by speaker

  • Dependency Injection in .NET

See something wrong?

Report an issue with this session