Parametric Type Inferencing for Helium
Parametric Type Inferencing for Helium
复制标题
Helium 的参数类型推断
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
Jurriaan Hage
中科院分区：
文献类型：
--
作者：
B. Heeren;Jurriaan Hage
Helium是乌得勒支大学正在开发的Haskell的一个大子集的编译器。一个主要的设计标准是提供出色的错误消息的能力。这对于函数式程序员新手来说尤其必要。在这篇文章中，我们记录了氦气类型推理器的实现。为了试验各种类型推断方法，可以通过多种方式对类型推断器进行参数化。在这些实例中，我们不仅发现了ASM和W等标准算法，而且还发现了更多基于类型图的全局类型推理器。
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 asM andW, but also more global type inferencers based on type graphs.