•  

Types + Properties = Software

A session at fsharpConf

Friday 4th March, 2016

11:45am to 12:30pm

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

Programmer/Software Architect. Author of Dependency Injection in .NET. Creator of AutoFixture.

Coverage of this session

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

fsharpConf

Online conference

4th March 2016

Tell your friends!

When

Time 11:45am12:30pm UTC

Date Fri 4th March 2016

Session Hash Tag

#fsharpConf

Short URL

lanyrd.com/sdyqtg

View the schedule

Share

Topics

Books by speaker

  • Dependency Injection in .NET

See something wrong?

Report an issue with this session