Abstract
Helium is a compiler for a large subset of Haskell under development at Universiteit Utrecht. A major design criterion is the ability to give
superb error messages. This is especially needful for novice functional programmers. In this paper we document the implementation of the Helium type inferencer. For purposes of experimentation with various methods of type inferencing, the type inferencer can be parameterized in a number of ways. Among the instances we find not only standard algorithms such as M and W, but also more global type inferencers based on type graphs.
superb error messages. This is especially needful for novice functional programmers. In this paper we document the implementation of the Helium type inferencer. For purposes of experimentation with various methods of type inferencing, the type inferencer can be parameterized in a number of ways. Among the instances we find not only standard algorithms such as M and W, but also more global type inferencers based on type graphs.
| Original language | English |
|---|---|
| Publisher | Department of Information and Computing Sciences, Utrecht University |
| Number of pages | 17 |
| Publication status | Published - 2002 |
Publication series
| Name | Technical Report Series |
|---|---|
| No. | CS-2002/2002-035 |
| ISSN (Print) | 0924-3275 |