如果你想使用 GHC词法作用域类型变量 http://www.haskell.org/ghc/docs/7.6.2/html/users_guide/other-type-extensions.html#scoped-type-variables，你还必须使用显式通用量化 http://www.haskell.org/ghc/docs/7.6.2/html/users_guide/other-type-extensions.html#explicit-foralls。也就是说，你必须添加forall函数类型签名的声明：
{-# LANGUAGE ExplicitForAll, ScopedTypeVariables #-}
f :: forall a . [a] -> [a] -- The `forall` is required here ...
f (x:xs) = xs ++ [x :: a] -- ... to relate this `a` to the ones above.
这实际上与量化有什么关系，还是扩展作者只是采用了forall关键字作为新的、更广泛的范围适用的方便标记？
换句话说，为什么我们不能忽略forall照常？函数体中注释中的类型变量引用函数签名中的同名变量，这不是很清楚吗？或者打字是否会出现问题或含糊不清？
是的，量词是有意义的，并且是类型有意义所必需的。
首先请注意，Haskell 中确实不存在“未量化”类型签名之类的东西。不带签名的签名forall确实是隐式量化的。这段代码...
f :: [a] -> [a] -- No `forall` here ...
f (x:xs) = xs ++ [x :: a] -- ... or here.
...真正的意思是：
f :: forall a . [a] -> [a] -- With a `forall` here ...
f (x:xs) = xs ++ [x :: forall a . a] -- ... and another one here.
那么让我们弄清楚这说了什么。重要的是要注意名为的类型变量a在签名中f并为x受约束separate量词。这意味着他们是不同的变量，尽管共享一个名称。所以上面的代码相当于这样：
f :: forall a . [a] -> [a]
f (x:xs) = xs ++ [x :: forall b . b] -- I've changed `a` to `b`
通过区分名称，现在不仅可以清楚地看出签名中的类型变量f and x不相关，但签名x声称x可以有any类型。但这是不可能的，因为x必须具有绑定到的特定类型a when f应用于论证。事实上，类型检查器拒绝了这个代码。
另一方面，用单个forall在签名中f ...
f :: forall a . [a] -> [a] -- A `forall` here ...
f (x:xs) = xs ++ [x :: a] -- ... but not here.
... the a在签名中x受开头的量词约束f的类型签名，所以这个a表示与调用的变量表示的类型相同的类型a in f的签名。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
