定义递归数据结构

Question

我正在努力学习Haskell，认为它将是实现组合博弈论的完美语言。 我已经在Python中做了一些这样的事情来教我自己的OOP原则和运算符重载，但是Haskell吸引了我，因为它在语法上似乎更具数学性，并且有一个数学背景我真的很喜欢。 此外，懒惰地实现无限列表是非常惊人的。

无论如何，到目前为止我所拥有的是一个编译的数据结构，但是我用它编写的第一个函数给了我：

Prelude> :l cgt
[1 of 1] Compiling Main             ( cgt.hs, interpreted )

cgt.hs:8:30:
    Couldn't match expected type `([Game], b0)' with actual type `Game'
    In the first argument of `fst', namely `b'
    In the second argument of `(:)', namely `(fst b)'
    In the expression: a : (fst b)
    Failed, modules loaded: none.

这是我的代码......

--A game that is Zero (base case) is two empties
--Anything else must be two lists of games, a left list and a right list.

data Game = Zero
          | Position ([Game], [Game])

putL :: Game -> Game -> Game
putL a b = Position (a :(fst b), snd b)

我意识到游戏有点像在Wikibook上讨论过的树，但它们还有其他限制。

1. 位置（树节点的亲属）可以有许多可能的移动
2. 职位可能只包含其他游戏
3. 有一个特殊的游戏，零，没有可能的动作。
4. 所有游戏都是使用Zero构建的。

所以，当我写putL我说，“把一个游戏a ，另一个游戏b ，和缺点a成的第一部分b ，并留下第二部分b独自一人，返回的位置（这是一种游戏）。” 至少，这就是我想要做的。 相反，Haskell认为我正在返回的类型是([Game], b0)而我不知道为什么。

谢谢！ 我感谢您的帮助。

Answer 1

你不能在类型为Game东西上使用fst和snd函数。 由于您尚未在数据构造函数Zero和Position声明字段的名称，因此实际访问它们的唯一方法是通过模式匹配。 （注意，我还删除了Position构造函数中不必要的元组）

data Game
  = Zero
  | Position [Game] [Game]

putL :: Game -> Game -> Game
putL game Zero = ???
putL game (Position games1 games2) = Position (game : games1) games2

现在，我显然不知道你想要为Zero构造函数发生什么，所以你必须填写那些??? 是你自己。

Answer 2

dflemstr的回答是正确的。 我将解释你得到的错误信息。

• a : fst b必须有类型[Game] ---同意，是吗？
• 因此a必须有类型Game ...（和它，万岁）
• ...和fst b必须有类型[Game]
• fst采用一对作为输入，并产生该对的第一个元素，所以......
• ... b必须有类型([Game], b0) （对于我们尚未制定的某种类型b0 ）（这是预期的类型）
• 这是一个问题，因为根据putL的类型签名， b必须有类型Game （这是实际类型）---它不能是一对