D danluu.com The empirical evidence that types affect productivity and correctness 73 points luu 12 years ago 25 comments