Question

我的职责如下:

    foo :: Int -> a -> [a]
    foo n v = bar n
      where
        bar :: Int -> [a]
        bar n = take n $ repeat v

使用 ghci 报告此错误 :

    Couldn t match type `a  with `a1 
          `a  is a rigid type variable bound by
              the type signature for foo :: Int -> a -> [a] at hs99.hs:872:1
          `a1  is a rigid type variable bound by
              the type signature for bar :: Int -> [a1] at hs99.hs:875:9
    Expected type: [a1]
        Actual type: [a]
    In the expression: take n $ repeat v
    In an equation for `bar : bar n = take n $ repeat v

如果删除条形声明类型, 代码可以毫无错误地编译。这里的条形声明类型是什么? 为什么会发生错误, 因为条形声明类型比条形定义( 条形声明与某类相联) 更加通用?

谢谢你的帮助!

Answer 1

a in

foo :: Int -> a -> [a]

和 a in

    bar :: Int -> [a]

具有相同名称的不同类型变量。

要获得您期待的行为, 请打开“ 范围 Type 可变可定义扩展名( 例如, 在源文件顶部插入 < code_ - # LANGUAGE 范围 Type可变性 #- / code> ), 并更改 < code> foo 的类型符号

foo :: forall a. Int -> a -> [a]

当未启用“ ServedTypeVariables” 时, 它仿佛您原代码是像这样写入的 :

foo :: forall a. Int -> a -> [a]
foo n v = bar n
  where
    bar :: forall a. Int -> [a]
    bar n = take n $ repeat v

如果忽略了 bar 的批注类型,则不能说ghci隐含地使用ClosedTypeVariables。

相反,您给 bar 提供的批注类型与 ghci 推论类型有冲突 -- -- 您所主张的 bar 具有一种ghci知道它不能拥有的类型。

删除批注类型时,将排除冲突。

范围 type 可更改您所提供的类型说明的含义。它不会影响 ghc 的推断类型。

Answer 2

刚刚发现这条线索也有一个很好的解释:http://www.haskell.org/pipermail/haskell-cafe/2008-June/044617.html

友情链接