ghci 中的 liftM：为什么会有这样的差异？

Question

当我在 ghci 中定义这样的函数时：

> :m Control.Monad
> let f n = n+1
> let g = liftM f

它们运作良好：

> g $ Just 2
> Just 3
> g $ [1,2]
> [2,3]

但是当我在文件 (probl.hs) 中定义相同的函数时：

 import Control.Monad

 f :: Integer -> Integer
 f n = n + 2

 g = liftM f

然后运行这个文件通过 ghci:

 ghci probl.hs

我收到这样的消息：

probl.hs:6:5: error:
    * Ambiguous type variable `m0' arising from a use of `liftM'
      prevents the constraint `(Monad m0)' from being solved.
      Relevant bindings include
        g :: m0 Integer -> m0 Integer (bound at probl.hs:6:1)
...
Failed, modules loaded: none.

为什么会有这样的差异？以及如何解决第二种情况的问题（我想要与第一种情况相同的行为）？

Answer 1

你遇到了可怕的单态限制！这是一个不直观的规则，在 GHCi 中关闭，但在编译时打开。使用类型签名（推荐），或 {-# LANGUAGE NoMonomorphismRestriction #-} 禁用它。基本上，它有时会使没有类型签名的表达式的多态性低于您的预期。

ghci 中的 liftM：为什么会有这样的差异？

liftM in ghci: why is there such difference?

haskell

monads

ghci

lifting