Designing type inference for high quality type errors

1 points | by mayoff 2 days ago