Haskell中是否有任何通用的Hashable类型类？(又名"衍生(Hashable)")

Question

是否有人编写了通用函数,以便hash可以自动为自定义数据类型生成函数(使用该deriving机制)？有几次,我写了以下类型的样板,

data LeafExpr = Var Name | Star deriving (Eq, Show)
instance Hashable LeafExpr where
    hash (Var name) = 476743 * hash name
    hash Star = 152857

这可以自动生成:基本思想是每当添加数据时,您乘以素数,例如使用列表,

hash (x:xs) = hash x + 193847 * hash xs

基本上,我想写的是

data LeafExpr = ... deriving (Hashable)

编辑1

感谢所有非常有帮助的回复,每个人.当我有时间时,我会尝试添加一个通用方法作为练习.现在(也许sclv指的是什么？),我意识到我可以编写稍好的代码,

instance Hashable LeafExpr where
    hash (Var name) = hash ("Leaf-Var", name)
    hash Star = hash "Leaf-Star"

编辑2

使用ghc,乘以随机素数比编辑1中的tupling好得多.与Data.HashTable的冲突从95%(非常糟糕)变为36%.代码在这里:[ http://pastebin.com/WD0Xp0T1 ] [ http://pastebin.com/Nd6cBy6G ].

Answer 1

您需要多少速度？您可以使用使用模板 haskell 的包之一来生成序列化代码，将值转换为二进制，然后使用hashable对二进制数组进行哈希处理。