Matthew Brecknell

Hole-driven Haskell

| Comments

A demonstration of a technique for using types to guide the construction of Haskell programs, based on natural deduction. Includes some tricks for getting help from GHC.

Thanks to Tony Morris, Greg Davis and Clinton Freeman for giving me the idea. Thanks to everyone else for not giving me too much shit about my noisy hole.

You can download the video as MP4 with embedded subtitles, WebM with separate subtitles, or find it on YouTube.