[sethammons]

If you can keep everything in your head, types can feel superfluous. Large projects make that nigh impossible.