What's the Evidence That Types Affect Productivty or Correctness?danluu.com11 points·canpoturn··0 commentsOpen articleSaveView on HN