阿尔凯梅德,蒂斯;约翰·杰林 Haskell中类型级lambdas的类型类实例。 (英语) Zbl 1354.68042号 Serrano,Manuel(编辑)等人,《函数编程趋势》。2015年6月3日至5日,法国索菲亚·安蒂波利斯,第16届国际研讨会,TFP 2015。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-39109-0/pbk;978-3-3169-39110-6/电子书)。计算机科学讲座笔记9547,60-84(2016)。 摘要:Haskell 2010缺乏为具有多个类型参数的类型构造函数创建类型类实例的灵活性。我们希望使类型构造函数的类型参数的顺序与如何指定类型类实例无关。Haskell中目前可用的技术都不允许以令人满意的方式实现这一点。为了灵活地创建类型类实例,我们在Haskell中添加了类型级lambdas作为匿名类型同义词的概念。由于lambda项的高阶统一通常是不可判定的,因此我们对类型级lambda之间的相等采取保守的方法。我们建议对约束求解器进行一些小的更改,以允许在类型类实例中使用类型级lambdas。我们表明这满足了我们的目标,但对现有Haskell代码的影响很小。关于整个系列,请参见[Zbl 1337.68022号]. MSC公司: 68甲18 函数编程和lambda演算 关键词:哈斯克尔;类型类;类型级λ;高阶统一 软件:哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{T.Alkemade}和\textit{J.Jeuring},莱克特。注释计算。科学。9547,60-84(2016;Zbl 1354.68042) 全文: 内政部 链接