我是哈斯克尔的新手。但我真的很喜欢。我一直在阅读，学习哈斯克尔和现实世界哈斯克尔和实践。我在"学习你"一本哈斯克尔的书中的"功能性解决问题"部分，我需要有人向我解释以下内容：

问题：

• 这是某种递归数据类型创建吗？
• 为什么我不能做：节点"a""b"并获取有效的节点类型？当我尝试一些东西的时候，我可能会犯一个错误，说haskell不能将[char]与预期的道路匹配，我理解这一点。但是如果没有road int节点，就无法创建节点x y。我以为road是string的同义词，但由于它没有被声明，所以肯定不是。如果有人读了这本书并理解了这一点，请解释这些数据类型的含义，并在可能的情况下提供示例。

编辑：有问题的章节>>希思罗到伦敦问题

是的，这些是相互递归的数据类型。

要创建这些类型的值，您也可能使用递归。例如，这里有一个最小的道路系统-两个节点，每个节点都允许您行驶到另一个节点：

注意nodea的定义是如何引用nodeb的，反之亦然。

如果我正确阅读了书中的示例，可以这样写：

号

再次注意交叉道路A1和B1、A2和B2等的相互递归。

我已经把这些路写了下来，但是如果你愿意的话，你当然可以把它们都命名为：

如果你这样做的话，定义的循环将涉及其中的四个——节点EDOCX1的定义(0)将使用roadA1ToB1，它将使用b1，它将使用roadB1ToA1，它将使用a1。