1
我正在翻译几个程序从Standard ML到Haskell的类,我对Haskell解析这种模式匹配的方式感到困惑。重叠的模式匹配警告与自定义数据类型
我有这样的数据类型:
data Term = A | B
| F Term | G Term | H Term Term
| Var String
deriving (Show)
这是我定义的部分功能:
unify :: [(Term, Term)] -> Bool
-- argument represents a list of term equations,
-- result indicates whether they have a solution
unify nil = True
unify ((A, A):eqns) = unify eqns
unify ((B, B):eqns) = unify eqns
unify ((F(t1), F(t2)):eqns) = unify((t1,t2):eqns)
unify ((G(t1), G(t2)):eqns) = unify((t1,t2):eqns)
unify ((H s1 t1, H s2 t2):eqns) = unify((s1,s2):(t1,t2):eqns)
unify ((Var v1, t):eqns) =
(case t of
Var v2 -> if v1 == v2 then unify(eqns)
else unify(map (substEqn v1 t) eqns)
_ -> unify(map (substEqn v1 t) eqns))
unify ((t, Var v):eqns) = unify(map (substEqn v t) eqns)
unify _ = False
ghci中给了我这个输出,当我导入模块:
Warning: Pattern match(es) are overlapped
In an equation for `unify':
unify ((A, A) : eqns) = ...
unify ((B, B) : eqns) = ...
unify ((F (t1), F (t2)) : eqns) = ...
unify ((G (t1), G (t2)) : eqns) = ...
...
我当然明白模式匹配是如何工作的,但我不明白为什么Haskell认为这四个参数s相同。它们是不同的数据类型,所以它们不应该是等效模式吗?这在标准ML中有效,但翻译中必须丢失一些东西。谢谢您的帮助!
非常好,非常感谢!我认为这是一些小的翻译错误。如果您不知道,标准ML中的空列表,因此混淆。 – CMDadabo
你是对的。我只在Standard ML看过一次,但现在你提到它了,我记得那次。 –