复制品

PrimiB:一个可派生类型类的库。一些类型类实例可以从类型的结构中自动派生。因此,Haskell语言包括“派生”机制来自动生成少量内置类型类的此类实例。在本文中,我们提出了一个类似于任意类型类的机制的GHC库。PrimeB的用户可以通过与模式类型匹配的正常Haskell函数定义数据类型结构与关联的实例声明之间的关系。此外,以这种方式定义的操作也可用于不由类型结构定义的特定类型的可扩展实例。最后,该库还支持由参数化类型定义的操作的定义。

这个软件也是同行评审通过期刊toms.