"Snatch-driven development" is a style to copy the design by C language to strong typed world, while dogfooding. You can read the detail at http://www.slideshare.net/master_q/metasepi-team-meeting-7-snatch-application-on-tiny-os.
This document shows idiom (or design pattern) to snatch C language with Haskell.
Start to read it at https://github.com/ajhc/snatch-idiom/blob/master/markdown/index.md.