Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Programming Languages and Systems - 4th Asian Symposium, APLAS 2006, Proceedings |
| Pages | 26-43 |
| Number of pages | 18 |
| Publication status | Published - 1 Dec 2006 |
| Externally published | Yes |
| Event | Asian Symposium on Programming Languages and Systems 2006 - Sydney, Australia Duration: 8 Nov 2006 → 10 Nov 2006 Conference number: 4th https://link.springer.com/book/10.1007/11924661 (Proceedings) |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Volume | 4279 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | Asian Symposium on Programming Languages and Systems 2006 |
|---|---|
| Abbreviated title | APLAS 2006 |
| Country/Territory | Australia |
| City | Sydney |
| Period | 8/11/06 → 10/11/06 |
| Internet address |
|