I've written a very small, very bad, type checker for my toy programming language. Within three days, it found a bug in a program I was writing!