種類/種類Haskell（多分）代数データ型の混乱

Question

私は自分の足を濡らすために私自身のDiplomacyシミュレータをHaskellで構築する作業をしてきました。私は何のためのためのまともな定義を作ってみたと信じてい

がある：ゲームに慣れていない方のため

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)であり、私の注文の定義に関してエラーNot in scope: type constructor or class 'Fleet'を得ています。

これはなぜですか？

私はコンボイへの最初の議論が艦隊であり、3番目の議論が軍隊であることを要求できるように、ユニットまたはオーダーの定義を書くことはできますか？

私はこの問題に対する私のアプローチでちょうど "間違っていない"と思いますか？

私はこれを私の検証関数に近づけるべきでしょうか（私が知っている限り、Haskell経由で有効な注文のみを指定する方法はないので、それは表現力豊かですが表現力がありません）？

私はすでに "DataKinds"を使ってみましたが、エラーポストスクリプトでもエラーメッセージが表示されていましたが、Haskellエラーポストスクリプトではたくさんのことが示唆されています。あまりにもそれに留意する）。

Answer 1

data Unit = Fleet | Army 

Unitはタイプです。その値はFleetまたはArmyのいずれかです。これらはタイプではありません。

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

これはOKです。

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

これらは値であり、OKではありません。上記の行は、全く意味がない

  | Convoy "hello" Territory 42 Territory Territory 

と非常に似ています。

あなたは、単に

  | Convoy Territory Territory Territory 

を使用する場合がありますが、私はゲームに慣れていないので、私はあなたが実際にそこに必要なものを知りません。

また、タイプキャスティングと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 

今、最後の行はokですにそれらを有効にすることです。これは、より多くの "ラッピング"コンストラクタを使用して注文を作成する必要があるということです。上記

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 ...はFleetUnit ...がUnitに変換します、その後、Fleet構築し、最終的にはSupport ...なりにOrderいます。