复制

RepLib:可派生类型类的库。一些类型类实例可以从类型的结构中自动派生。因此,Haskell语言包含“派生”机制,可以为少量内置类型类自动生成此类实例。在本文中,我们介绍了RepLib,这是一个GHC库,它为任意类型的类启用了类似的机制。RepLib的用户可以通过模式匹配表示类型的普通Haskell函数定义数据类型的结构和相关实例声明之间的关系。此外,以这种方式定义的操作是未由类型结构定义的特定类型的可扩展实例,也可以合并。最后,这个库还支持由参数化类型定义的操作的定义。

这个软件也是同行评审按日记帐汤姆斯.