2

我在 Haskell 中遇到了模棱两可的类型问题。我从以下内容开始：

module GameState
( GameState(..)
, GameStateMonad
, module Control.Monad.Trans
, module Control.Monad.Trans.State.Lazy
, Blank(..)
) where

import Control.Monad.Trans
import Control.Monad.Trans.State.Lazy

type GameStateMonad a b = StateT a IO b

class GameState a where
    update :: Double -> GameStateMonad a ()
    update deltaTime = return ()

    draw :: GameStateMonad a ()
    draw = return ()

    getNextState :: GameState b => GameStateMonad a (Maybe b)
    getNextState = return Nothing

    isStateFinished :: GameStateMonad a Bool
    isStateFinished = return True

-- This is just a dummy data and instance declaration to demonstrate the error
data Blank = Blank
instance GameState Blank

然后当我尝试在 ghci 中运行以下命令时：

runStateT getNextState Blank

我得到：

Ambiguous type variable `b0' in the constraint:
  (GameState b0) arising from a use of `getNextState'
Probable fix: add a type signature that fixes these type variable(s)
...

我认为这是在抱怨我的 getNextState 函数的默认实现没有指定具体类型，所以我尝试了以下方法：

getNextState :: GameState b => GameStateMonad a (Maybe b)
getNextState = return (Nothing :: Maybe Blank)

不幸的是，我在编译时遇到了这个错误：

Could not deduce (b ~ Blank)
from the context (GameState a)
  bound by the class declaration for `GameState'
  at GameState.hs:(14,1)-(25,33)
or from (GameState b)
  bound by the type signature for
             getNextState :: GameState b => GameStateMonad a (Maybe b)
  at GameState.hs:22:5-50
  `b' is a rigid type variable bound by
      the type signature for
        getNextState :: GameState b => GameStateMonad a (Maybe b)
      at GameState.hs:22:5
...

但是我发现在调用 getNext 状态时添加类型签名可以让代码运行：

runStateT (getNextState :: GameStateMonad Blank (Maybe Blank)) Blank

不幸的是，这阻止了我编写通用代码来处理游戏状态。这对我来说也没什么意义。如果在返回后必须给它一个显式类型，那么返回多态类型有什么意义？原来的问题也让我很困惑，因为我可以制作如下函数：

test :: Num a => Maybe a
test = Nothing

并且运行它没有问题。这不应该抱怨像我的原始代码这样的模棱两可的类型吗？同样，当给返回值一个显式类型时，我无法编译它，就像以前一样：

test :: Num a => Maybe a
test = Nothing :: Maybe Int

我不明白为什么这是一个问题。Int 是 Num 类型的实例，因此函数的类型是正确的。

我有四个问题：

  1. 为什么在返回类型类的元素时给出显式类型会导致编译错误？

  2. 为什么在 getNextState 内部返回一个模棱两可的 Maybe 值会导致错误，但在 test 内部却不会？

  3. 为什么在没有我对返回的多态数据调用函数的情况下会发生此错误，如此处所述？

  4. 在上面的链接中，答案提到“[你得到这个错误]因为你有一些产生多态结果的东西，然后应用一个函数，该函数接受一个多态参数到该结果，这样中间值的类型是未知的”。这不是意味着返回多态结果的函数本质上是无用的吗？

谢谢。

4

2 回答 2

6

Cat Plus Plus已经解释了原因

getNextState :: GameState b => GameStateMonad a (Maybe b)
getNextState = return (Nothing :: Maybe Blank)

不工作，所以我可以短。类型签名承诺getNextState可以为调用者要求Maybe b的任何类型b提供类型值。如果函数具有多态返回类型，则由函数的调用者决定它应返回的类型。所以签名承诺“任何你想要的，只要它是一个GameState实例”，但实现说“不，我不在乎你点了什么，我返回一个Blank”。

Ambiguous type variable `b0' in the constraint:
  (GameState b0) arising from a use of `getNextState'
Probable fix: add a type signature that fixes these type variable(s)

从打字

runStateT getNextState Blank

在 ghci 提示符下。如果你问 ghci 的类型，它会告诉你

runStateT getNextState Blank :: GameState b => IO (Maybe b)

（不保证类型变量的选择）。但是没有上下文，所以 ghci 不知道要实例化哪种类型b。所以它不知道应该调用哪个实现getNextState[或者，如果我们查看 GHC 的类型类实现，它应该传递哪个字典]。它无法解决这种歧义，所以它会告诉你它并建议你如何解决它。

test :: Num a => Maybe a
test = Nothing

是的，当您test在 ghci 提示符下键入时，这原则上是相同的问题。但是，当涉及到一个数值类时（其中歧义最常见，文字已经歧义），并且所有涉及的约束都很简单，并且涉及 Prelude 或标准库的类，则有解决歧义类型变量的特殊规则。在这种情况下，默认情况下会实例化模棱两可的类型变量，因此 ghci 会选择实例化a并Integer打印Nothingtype Maybe Integer。

您的GameState课程不可默认，这就是这些示例之间的区别。

为什么在没有我对返回的多态数据调用函数的情况下会发生此错误，如此处所述？

因为您没有调用任何确定类型的函数。如果你有一个类型的函数

foo :: Blank -> Int

并输入

runStateT getNextState Blank >>= print . maybe 0 foo

的使用foo将决定b一切都会膨胀。

但是，如果您调用多态函数（无法从其结果类型推断其参数类型），则问题不会得到解决，而是会加剧，如链接示例中所示。那么二义性类型就再也无法从外部到达，也永远无法解决。那么唯一的方法是提供一个类型签名来解决歧义。

这不是意味着返回多态结果的函数本质上是无用的吗？

哦不，它们非常有用。看read, 或者fromInteger, realToFrac, ...

关键是，它们的使用类型必须以某种方式确定它们的使用位置。大部分时间由调用上下文完成，但有时需要显式类型签名。

于 2013-01-04T08:23:54.187 回答
3

我不确定你想通过创建GameState一个类型类来实现什么。您可能在这里过于关注 OOP 思维——类型类不是 OOP 类。一组游戏状态可能会被关闭，因此将其设为单个 ADT 可能更有意义。

为什么在返回类型类的元素时给出显式类型会导致编译错误？

查看您的函数的签名：GameState b => GameStateMonad a (Maybe b). 现在记住这意味着forall b. GameState b => GameStateMonad a (Maybe b)。

函数的实现不能决定是什么b——它必须对所有函数都有效（只要它们符合约束条件），因为它由调用者决定。

这就是为什么return (Nothing :: Maybe Blank)是一个错误——它并不适用于所有类型b——它只适用于Blank. “无法推断(b ~ Blank)”意味着 GHC 无法在这里证明类型相等。同样的事情Nothing :: Maybe Int。这也是在调用站点中添加类型签名有效的原因。

稍后我可能会写一些关于歧义的东西。我仍然很确定您无论如何都过度设计了这段代码，所以解决方案是不要这样做。

于 2013-01-04T07:15:16.897 回答