不明确的类型变量

Question

与我之前关于遍历数据结构的问题相关，我'当我将代码与 uniplate 包一起使用时，我在使代码通用时遇到问题。我正在处理 Language.Exts.Annotated.Syntax 模块，它们都是带有类型参数 l 的通用模块。这个l在整个树中都是相同的。

我正在编写的代码类型如下：

doInt :: Child1 l -> Child1 l
doInt (Child1 l n) = Child1 l (n + 1)

doString :: Child2 l -> Child2 l
doString (Child2 l (_:s)) = Child2 l ('j' : s)

replace :: Data l => Parent l -> Parent l
replace = transformBi doInt
        . transformBi doString

此代码在最后两行上都会产生以下错误：

约束中的类型变量“l”不明确：
  Test.hs:31:10-52 中使用“transformBi”产生的“数据 l”
可能的修复：添加修复这些类型变量的类型签名

我可以明白为什么这段代码不明确： transformBi 接受 (to -> to) 和 from 并将其转换为 来自；就我而言，Child1 l 中的 l 和 Parent l 中的 l 之间没有链接。我不知道如何解决它。我尝试添加类似 transformBi (doInt :: Child1 l -> Child1 l) 的类型约束，但出现相同的错误；当我这样做时，就好像我正在引入一个新的l。

如何告诉编译器我对 replace、transformBi doInt 和 transformBi doString 使用相同的 l ？

编辑： 这是演示我正在做的事情的完整程序。在GHC 6.10.4下，该程序无法编译，并出现上述错误。

Answer 1

看起来您需要

{-# LANGUAGE ScopedTypeVariables #-}

replace :: forall l. Data l => Parent l -> Parent l
replace = transformBi (doInt :: Child1 l -> Child1 l)
        . transformBi (doString :: Child2 l -> Child2 l)

请注意，量化必须明确才能将l纳入范围。

Answer 2

l 在函数 replace 中应该具有相同的类型：
定义如下：

data L = LInt Integer| LString String

看，replace 不能是多态函数。它使用严格的类型。这种类型由操作定义：

Prelude> :t (+)
(+) :: (Num a) => a -> a -> a

and

Prelude> :t (:)
(:) :: a -> [a] -> [a]

和

Prelude> :t 'c'
'c' :: Char

要使替换多态，您必须将其设为多态函数。