How to test proper{t,l}y

Writing unit tests is pretty much established practice and in addition to that, property testing has caught up on popularity. Most functional languages have one, sometimes even many implementations. But “property testing” has a lot of aspects: randomized or exhaustive, minimization and generalization of counter examples, custom generators and filters, to name a few. Very often, property tests don’t exploit all the features of the framework. In this talk, I’ll give an overview of the state of the art of property testing in FP languages and show some common use cases, techniques and pitfalls.

Session length

40 minutes

Language of the presentation

English

Target audience

Intermediate: Requires a basic knowledge of the area

Who is your session intended to

People who want to improve their tests

Speaker

Lars Hupel

• LX Scala, 2018
• flatMap(Oslo), 2015 and 2016
• Scala Exchange, 2014 (keynote, https://skillsmatter.com/skillscasts/5827-state-of-the-typelevel)

Contributes

• cats-collections
• discipline
• libisabelle