Hacker News Reader

This is list is not a list of thing not to do, simply some popular things we did not do. I'm absolutely not saying type-checking is bad.

Yup, I understood that. That's just the one I personally found the most surprising in your list.