We observe that the combination of multi-parameter type classes with existential types and type annotations leads to a loss of principal types and undecidability of type inference. This may be a surprising fact for users of these popular features. We conduct a concise investigation of the problem and axe able to give a type inference procedure which, if successful, computes principal types under the conditions imposed by the Glasgow Haskell Compiler (GHC). Our results provide new insights on how to perform type inference for advanced type extensions. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Sulzmann, M., Schrijvers, T., & Stuckey, P. J. (2006). Principal type inference for GHC-style multi-parameter type classes. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4279 LNCS, pp. 26–43). Springer Verlag. https://doi.org/10.1007/11924661_2
Mendeley helps you to discover research relevant for your work.