Skip to content

#3 Property-Based Testing with F#

Photo of Antonios Klimis
Hosted By
Antonios K.
#3 Property-Based Testing with F#

Details

Mark Seemann (@ploeh (https://twitter.com/ploeh))

Programmer/architect. Author of Dependency Injection in .NET (http://amzn.to/12p90MG). Creator of AutoFixture (https://github.com/AutoFixture/AutoFixture).

Property-Based Testing with F#

Types + Properties = Software

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.

Agenda

18:30 Welcome with food and drinks

19:00 Property-Based Testing with F#

21:00 Networking!

Important!

This talk assumes that you know nothing about F#, but would like to see how to use it for domain modelling.

Photo of DDDGR - Domain-Driven Design Greece group
DDDGR - Domain-Driven Design Greece
See more events
Intralot
19km Markopoulou-Paiania Avenue, Peania · Paiania