M michaelfeathers.silvrback.com The Ergonomics of Type Checking (2016) 69 points adamnemecek 9 years ago 93 comments