私は自分の足を濡らすために私自身のDiplomacyシミュレータをHaskellで構築する作業をしてきました。私は何のためのためのまともな定義を作ってみたと信じてい がある：ゲームに慣れていない方のため data Order = Hold Unit Territory
| Move Unit Territory Territory
| Support Unit Terr
私はHaskellを習っており、このプログラムを実装しようとしています。私はカスタムデータ型を持っています data CalculatorInput
= Exit
| Error String
| Operator (Int -> Int -> Int)
| Number Int
この場合、このタイプの値を返すメソッドgetInputがあります。 今、こ
私が定義型を参照するのに適した代数的データ型をコンパイルするために使用しようとしています： Books: Author. Title. Publisher, City Year
Articles from Magazines: Author. Title. Name of Magazine, Year
Conference Contributions: Author. Title. N
私は、遅延評価を使用して無限シーケンスを処理するライブラリを作成しています。簡潔にするために、シーケンスの各用語のインデックスにOrdという制約をアサーションするために、一般化された代数データ型（GADT）を使用しています。したがって、次のtypechecks：予想通り {-# LANGUAGE GADTs #-}
data Term ix cff where
Term :: (Or
私はdata型の関数を格納したいと考えています：State Foo a -> a。おそらく、このタイプのインスタンスが作成されると、プログラムは部分的にevalStateを計算の初期状態に適用し、結果の関数をデータ構造に格納します。その後、その関数をインスタンスから取得し、Stateモナド内の1つ以上の計算を評価し、その結果を得るために使用することができる。 -- This doesn't wor