Editing 型 (section)

==データの宣言==

Haskellでは型を<code>data</code>宣言を通じて導入、または宣言します。一般的にデータ宣言はこのように行います。

 data [context =>] type tv1 ... tvi = con1  c1t1 c1c2... c1tn |
                       ... | conm cmt1 ... cmtq
                     [deriving]

まだHaskellをあまり理解していいない方にはおそらく説明になっていないかもしれません。

上の宣言の本質は、<hask>data</hask>キーワードを使って、付属的なコンテキストを与え、型の名前と多くの[[type variable]]を与えることにあります。
その後、多くの[[constructor]]が続きます。これらは[[type variable]]か[[type constant]]のリストになっています。最後に付属的に<code>deriving</code>が続きます。

他にも多くの微妙な事柄が必要です。たとえばデータコンストラクタに必要なパラメータは[[eager]]でなければならない、どんな[[Type class|class]]が[[deriving]]の中で許可されているか、コンストラクタ内の[[field]]名の使い方、[[context]]が実際になにをするのかなどです。これらについてはそれぞれの記事を参照してください。

いくつかの例を見てみましょう。Haskellの標準データ型[[Maybe]]は普通このように宣言されています。
<haskell>
 data Maybe a = Just a | Nothing
</haskell>
これは、'''Maybe'''型は''a''で表される１つの型変数を持っていて、'''Just'''と'''Nothing'''という２つの[[constructor]]を持っているということを意味しています。（Haskellでは型名とコンストラクタ名は大文字で始まらなければいけないことに注意してください）
'''Just'''コンストラクタは１つのパラメータ"a"をとります。

他の例として、二分木 (binary [[Tree]])を考えてみましょう。このように表されます。
<haskell>
 data Tree a = Branch (Tree a) (Tree a) | Leaf a
</haskell>
ここで、'''Tree'''のコンストラクタの１つ'''Branch'''はコンストラクタのパラメータには２つのtreeを取る一方で、'''Leaf'''は型変数"a"だけを取ります。Haskellではこういった再帰型は非常によく使われる[[:Category:Idioms |patterns]]です。