Designing type inference for high quality type errorsblog.polybdenum.com1 point·mayoff··0 commentsOpen articleSaveView on HN