类型/种类Haskell（也许）在代数数据类型中的混淆

Question

我一直在努力在Haskell中构建我自己的Diplomacy模拟器来让我的脚湿润。

我相信我已经拿出一个像样的定义的顺序是什么：

data Order = Hold Unit Territory 
      | Move Unit Territory Territory 
      | Support Unit Territory Unit Territory Territory 
      | Convoy Fleet Territory Army Territory Territory 
    deriving (Eq, Show) 

对于那些不熟悉的游戏中，顺序写入“保持伦敦舰队”的形式， “移动舰队伦敦英吉利海峡”，“支持舰队英吉利海峡舰队北大西洋中部大西洋”或“救护舰队英吉利海峡军队伦敦布雷斯特”等。

现在，单位定义为data Unit = Fleet | Army (deriving Eq, Show)，我得到关于我对Order的定义的错误Not in scope: type constructor or class 'Fleet'。

这是为什么？

我该如何写单位或订单的定义（或者我应该做一些不同的事情），这使我可以要求Convoy的第一个参数是舰队，第三个参数是军队？

我对这个问题的解决方法是“甚至没有错”吗？

我是否应该在我的验证函数中使用这个函数（因为我没有办法通过Haskell指定有效的订单，据我所知，它具有表现力但不具有表现力）？

我已经尝试使用“DataKinds”，但这并没有帮助我（尽管错误postscript建议这样做，然后再次，Haskell错误postscripts提出了很多事情，所以我怀疑我需要支付太过于注意了）。

Answer 1

data Unit = Fleet | Army 

Unit是一种类型。它的值可以是Fleet或Army - 这些不是类型。

data Order = Hold Unit Territory 
      | Move Unit Territory Territory 
      | Support Unit Territory Unit Territory Territory 
        ^^^^   ^^^^ 

这些是类型 - 确定。

  | Convoy Fleet Territory Army Territory Territory 
        ^^^^^   ^^^^ 

这些是值 - 不行。上面的线非常相似

  | Convoy "hello" Territory 42 Territory Territory 

这是没有意义的。

你可能只是想利用

  | Convoy Territory Territory Territory 

，但我不熟悉游戏，所以我不知道你的实际需要存在。

此外，忘记与typeclasses和DataKinds扩展 - 不要使用先进的东西，除非你真的需要它。

---

作为另一个选项，如果你不打算将字段添加到Fleet和Army，是把他们分为不同的类型

data Fleet = F String Int -- dummy fields, you can put none 
data Army = A 
data Unit = FleetUnit Fleet | ArmyUnit Army -- added the types here 
data Order = Hold Unit Territory 
      | Move Unit Territory Territory 
      | Support Unit Territory Unit Territory Territory 
      | Convoy Fleet Territory Army Territory Territory 

现在最后一行是确定的。这样做的代价是你需要使用更多的“包装”构造函数来构建一个订单，例如

orderExample1 :: Order 
orderExample1 = Convoy (F "test" 33) terr1 A terr2 terr3 

orderExample2 :: Order 
orderExample2 = Support (FleetUnit (F "test2" 55)) terr1 (ArmyUnit A) terr2 terr3 

以上，F ...建立一个Fleet，然后FleetUnit ...把它变成一个Unit，最后Support ...原来是为Order。