Skip main navigation

Check my Program is Correct

The QuickCheck tool is useful for automatically testing your Haskell programs. Watch as Jeremy Singer demonstrates how to use QuickCheck.

QuickCheck is a useful tool for automatically generating test cases for your Haskell programs. It’s widely used in industrial settings.

In this video, Jeremy is checking his Caesar’s Cipher implementation. You can download this code (see related links) and run QuickCheck for yourself.

This article is from the free online

Functional Programming in Haskell: Supercharge Your Coding

Created by
FutureLearn - Learning For Life

Reach your personal and professional goals

Unlock access to hundreds of expert online courses and degrees from top universities and educators to gain accredited qualifications and professional CV-building certificates.

Join over 18 million learners to launch, switch or build upon your career, all at your own pace, across a wide range of topic areas.

Start Learning now