Improving Type Error Localization for Languages with Type Inference
Thomas Wies
C◦mp◦se :: Conference
http://www.composeconference.org/
February 5, 2016
In this talk, we will explain how type inference algorithms work and why type error localization is so difficult in the presence of type inference. We will then present a new algorithm for localizing type errors that provides formal quality guarantees about the identified type error sources. The algorithm works efficiently in practice and has the potential to significantly improve the quality of type error reports produced by state-of-the-art compilers.