Hacker Next
Designing type inference for high quality type errorsblog.polybdenum.com
83 points by PaulHoule 17 days ago | 17 comments