类型类和约束处理规则
摘要：类型类是传统的Hindley-Milner类型系统的一种优雅扩展。它们用于现代的类型化语言（如Haskell），以支持符号的可控重载。Haskell 98仅支持单参数和构造函数类型类。其他扩展，如多参数类型类，虽然非常希望，但仍未得到Haskell的正式支持。扩展引发了一些微妙的问题，可能导致可行的类型推断丧失或产生歧义的程序。目前似乎缺乏对类型类系统的适当逻辑基础。这样的基础将允许对扩展进行严格的特征化和研究。我们提议使用约束处理规则作为研究和发展类型类系统的工具。
作者：Kevin Glynn, Martin Sulzmann, and Peter J. Stuckey
论文ID：cs/0006034
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23