B blog.steveklabnik.com What to know before debating type systems (2010) 68 points davedx 11 years ago 38 comments