Haskellでのデータ型の定義

Question

ご挨拶、私はHaskellを初めて使用しており、割り当てのデータ型を定義することに固執しています。

「戦略」タイプを作成する必要があります。基本的には、それぞれ数値を表す1〜6文字の文字列で、9以上の値を文字（最大35個の異なる合計値）考えられる各値を表す補助型を定義し、それを使用して型を作成しようとしましたが、コードが機能していないため、アイデアがなくなりました。これは私がしようとしている定義です：

data Value = '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' | 'A' | 'B' | 
'C' | 'D' | 'E' | 'F' | 'G' | 'I' |'J' | 'K' | 'L' | 'M' | 'N' | 'O' | 'P' | 
'Q' |'R' | 'S' | 'T' | 'U' | 'V' | 'W' | 'Y' | 'X' | 'Z' 

data Strategy = Value | Value:Value | Value:Value:Value | 
Value:Value:Value:Value | Value:Value:Value:Value:Value |    
Value:Value:Value:Value:Value:Value 

は、値の種類が番号を受け付けていません、と戦略型「の一種は、」それはバストを行くされた後、第2のコンストラクタまで動作します。ご協力いただきありがとうございます！

Answer 1

以前の（削除された）質問のように、これは宿題のように見えます。また、実際の名前を選択してこのスローアウェイアカウントを使用しない場合に役立ちます。

This pageは、haskellのdata型宣言の使い方を説明しています。あなたは違う/間違って何をしていますか？

1. Valueのコンストラクタの代わりに文字を使用します。 '1''2'、などはすべて文字である、あなたはあなたがリストコンストラクタと私は仮定を使用しているValueCon1 CharとValueCon2 String

2. のようなゼロ以上のフィールドと一緒に、コンストラクタを必要とするValueの分野ではなく、Strategyのために新たなコンストラクタを定義します。おそらくdata Strategy = Strat [Value]が必要です。これは任意のサイズのリストを受け入れます。より痛みを伴うのに対し、有限個の個別のValueフィールドを持つ多数の戦略コンストラクタを定義できます。

ご利用のコースはどこですか？これらの基礎をカバーすることは、期限が遅れているようです。私は実際にそれを行うだろうか

Answer 2

type Strategy = [Char]

^^。義務はナンセンスでそれを埋めるしないようにあなたの上にあるよう

かは、多分

newtype Strategy = Strategy [Char]

これは、あまり理にかなっています。 newtypeソリューションを使用すると、 "スマートコンストラクタ"を使用することができます。

mkStrategy :: [Char] -> Strategy 
mkStrategy x 
    | {- list is valid -} = Strategy x 
    | otherwise = error "you gave me a bad strategy!" 

は、実際のコードでは、エラーをスローしますが、オプションのタイプを返すようにしたくない、それはあなたがデータ型についての根本的な何かを見逃しているためだそれ