Designing type inference for high quality type errors (via surprisetalk) — discussion
#compilers #plt
