Haskell中是否有任何通用的Hashable类型类？ （a.k.a.“衍生（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对二进制数组进行哈希处理。