Question

我在尝试编译镜头代码时遇到类型错误。

{-# LANGUAGE TemplateHaskell #-}

import Control.Lens.Setter (over)
import Control.Lens.Getter (view)
import Control.Lens.TH

data IL = IL {
  _ilL :: [Int]
}
  deriving (Show)

makeLenses ''IL

val = IL [1, 2, 3]

(val1, val2) = let l = ilL
       in  (over l tail val, view l val)

错误是：

Test.hs:17:35:
    Couldn't match expected type `Control.Lens.Internal.Getter.Accessor [Int] [Int]'
                with actual type `Control.Lens.Internal.Setter.Mutator [Int]'
    Expected type: Control.Lens.Getter.Getting [Int] s0 [Int]
      Actual type: ([Int]
                    -> Control.Lens.Internal.Setter.Mutator [Int])
                   -> IL -> Control.Lens.Internal.Setter.Mutator IL
    In the first argument of `view', namely `l'
    In the expression: view l val

如果我直接使用ilL，则此错误消失。但是，我真的需要使用let进行镜头定义。我该如何解决这个问题？

Answer 1

另一个可怕的单态限制案例。在文件顶部添加{-# LANGUAGE NoMonormorphismRestriction #-}，它就可以正常编译。

原因是因为当你let l = ilL in ...没有明确的类型签名（或MR禁用）时，GHC希望尽可能地专门化l的类型。它首先在over l tail val中遇到它的用法并专门用于那里所需的类型，但这与view l val中的专门推断类型相冲突。解决方案是禁用MR或添加显式类型签名，如

(val1, val2) =
    let l :: Lens' IL [Int]
        l = ilL
    in  (over l tail val, view l val)

这与一个更简单的案例非常相似，如

x = let y = 1
        z = 2 :: Int
        w = 3 :: Double
    in (z + y, w + y)

y的类型应该是什么？使用MR，编译器希望将y的类型限制为单一类型，但我们真的希望它具有类型Num a => a，因为它可以与Int或{一起使用} {1}}秒。关闭MR后，编译器不会专门化Double的类型，一切都按预期工作。另一种方法是给y一个显式类型签名，但是为什么我们可以让编译器为我们做这些工作呢？

弄乱镜头时输入错误

1 个答案: