Question

我的构造函数定义为

data MuOp = N  (Name, Name)
          | QN (QName, QName)
          | QO (QOp, QOp)
          | E  (Exp, Exp)
          | D  (Decl, Decl)
          | L  (Literal, Literal)
          | G  (GuardedRhs, GuardedRhs)

我对元组进行了一些操作，例如

same :: MuOp -> Bool
same (N (a,b)) = a == b
same (QN (a,b)) = a == b
same (QO (a,b)) = a == b
same (E (a,b)) = a == b
same (D (a,b)) = a == b
same (L (a,b)) = a == b
same (G (a,b)) = a == b

然而，为多种功能重复它看起来很难看。有没有办法定义一些功能，如apply其中

apply :: ((a,a) -> c) -> MuOp -> c
apply f (N (a,b)) = f (a, b)
apply f (QN (a,b)) = f (a, b)
apply f (QO (a,b)) = f (a, b)
apply f (E (a,b)) = f (a, b)
apply f (D (a,b)) = f (a, b)
apply f (L (a,b)) = f (a, b)
apply f (G (a,b)) = f (a, b)

所以我可以说same = apply (\(a,b) -> a == b)或fEq c -> apply (\(a,b) -> a == c)

我当前的定义会产生此错误。

Couldn't match expected type ‘a’ with actual type ‘Name’
  ‘a’ is a rigid type variable bound by
      the type signature for apply :: ((a, b) -> c) -> MuOp -> c
      at src/Test/MuCheck/MuOp.hs:28:10
Relevant bindings include
  f :: (a, b) -> c (bound at src/Test/MuCheck/MuOp.hs:29:7)
  apply :: ((a, b) -> c) -> MuOp -> c
    (bound at src/Test/MuCheck/MuOp.hs:29:1)
In the expression: a
In the first argument of ‘f’, namely ‘(a, b)’

Answer 1

仔细考虑您对apply的定义：在每种情况下都是相同类型的所有b变量吗？请记住，虽然apply是一个多态函数，但调用者可以决定类型变量a将是什么（又名＆＃34;一个刚性类型变量＆＃34;在错误消息中）。

例如，看看这两种情况：

apply :: ((a, a) -> c) -> MuOp -> c
apply f (N  (a, b)) = f (a, b)
apply f (QN (a, b)) = f (a, b)
...

在第一行a和b都是Name类型，但在第二行a和b都是QName类型1}}。由于调用者决定类型变量a是什么，因此您无需在Name和QName之间任意选择。

解决方案是使用rank-2类型：

{-# Language Rank2Types #-}

apply :: (forall a . Eq a => (a, a) -> c) -> MuOp -> c
apply f (N  (a, b)) = f (a, b)
apply f (QN (a, b)) = f (a, b)
...

先前隐含的量词forall a .已经明确并被推到函数箭头的左侧。（此外，已添加Eq约束，但这是一个小细节。）通过这样做，您允许被调用者（即apply）实例化类型变量a具有满足Eq约束条件的任何类型。

如何将函数应用于haskell中构造函数内的值？

1 个答案: