We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Types + Properties = Software

Formal Metadata

Title
Types + Properties = Software
Title of Series
Number of Parts
133
Author
License
CC Attribution - NonCommercial - ShareAlike 3.0 Unported:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor and the work or content is shared also in adapted form only under the conditions of this
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
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.