Haskell - fmap fmap 不起作用

Question

我正在使用 GHCi（版本 6.12.3）来玩一下 Haskell。我最近读到了有关函子和应用函子的内容，我想如果你不能仅使用函子的原语来实现类似于应用函子的 <*> 的东西。经过一番思考，我想出了 fmap fmap ，它具有（几乎）理想的

Functor f => 类型。 f(a→b)→ f (fa -> fb) 或更一般地说

(Functor f1, Functor f2) => f1(a→b)→ f1 (f2 a -> f2 b)

我尝试了

let q = fmap fmap

以下错误，

<interactive>:1:8:
    Ambiguous type variable `f1' in the constraint:
      `Functor f1' arising from a use of `fmap' at <interactive>:1:8-16
    Probable fix: add a type signature that fixes these type variable(s)

<interactive>:1:13:
    Ambiguous type variable `f' in the constraint:
      `Functor f' arising from a use of `fmap' at <interactive>:1:13-16
    Probable fix: add a type signature that fixes these type variable(s)

按照建议编写上述类型签名没有帮助。 最疯狂的是，当我输入 :t fmap fmap 时，我得到了与上面相同的类型。

我做错了什么？尽管 GHCi 找到了类型，但为什么 fmap fmap 会给出类型错误？

Answer 1

看来您遇到了单态限制。

在 GHCi 中使用 -XNoMonomorphismRestriction 尝试示例可以得到预期的结果。

您还可以通过编写 let fx = fmap fmap $ x 来颠覆这一点。单态限制仅适用于“看起来像”值的顶级定义，即 f = some，因此引入显式参数会导致它不再适用。如果这不是顶层（例如在 where 子句中），它也不适用。有关更多详细信息，请参阅链接。

Answer 2

我还不能到处发表评论，所以我会发布答案。如前所述，您收到的错误是由于单态限制造成的。将类型签名修复为原始问题中给出的两个中的任何一个确实会让 ghci 满意，就像您所希望的那样，也许您只是语法略有错误？

Prelude> let q :: (Functor f) => f (a -> b) -> f (f a -> f b); q = fmap fmap
Prelude> :t q
q :: (Functor f) => f (a -> b) -> f (f a -> f b)

Prelude> let q :: (Functor f1, Functor f2) => f1 (a -> b) -> f1 (f2 a -> f2 b); q = fmap fmap
Prelude> :t q
q :: (Functor f1, Functor f2) => f1 (a -> b) -> f1 (f2 a -> f2 b)