Skip to content
Hallway
0:00 / 0:00

#property-basedtesting#shrinking#quickcheck

Shrinking (Haskell Unfolder #49)

Well-Typed

3.4K subscribers • 14 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.

Intermediate. Assumes working knowledge.

942 views1 year ago1 recommendation

Tools and practiceProgramming languagesTestingHaskell

An explanation of how to write shrinkers for property-based testing in Haskell and how to avoid common pitfalls.

Shrinking is a critical step in property based testing. When we generate random inputs for functions in order to test them, those random inputs often contain unnecessary and distracting detail. The purpose of shrinking is to remove that noise, so that minimal test cases emerge. In this episode we will see how to write shrinkers, discuss some of the pitfalls, and explore how we can tackle some of the more subtle difficulties in writing good shrinkers.

Why it's here

1 person recommends this

What people say. Recommended as a clear guide on how to write and optimize shrinkers for property-based testing.

u/kosmikusin r/haskell • Recommends

Shrinking (Haskell Unfolder #49) Will be streamed today, 2025-10-15, at 1830 UTC. Abstract: *Shrinking is a critical step in property based testing. When we generate random inputs for functions in order to test them, those random inputs often contain unnecessary and distracting detail. The purpose of shrinking is to remove that noise, so that minimal test cases emerge. In this episode we will see how to write shrinkers, discuss some of the pitfalls, and explore how we can tackle some of the more subtle difficulties in writing good shrinkers.*
25View on Reddit