Developer conference3-6 NovemberMalmö Sweden

Sessions - Øredev 2015


14.20 - 15.00

Types + Properties = Software

Level: Intermediate

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.


Best companies


ØREDEV was founded in 2005 by Jayway, a company comprised of and focused on specialists within IT. Øredev inherited this company's vision and philosophy.