Types write tests

How rich types can eliminate whole classes of bugs and effectively encode property tests directly in the signature, with worked examples from production Haskell code.

Video Recording