Editing 型 (section)

==型と新しい型==

他のHaskellプログラムに型を導入する方法は<hask>type</hask>と<hask>newtype</hask>を用いて行う方法です。

<hask>type</hask>はあるデータコンストラクタに対してシノニムを与えます。<hask>newtype</hask>ではある型をリネームして新しいコンストラクタを作成する必要があります。

<hask>type</hask>宣言をするときは、型シノニムとその基底型はほぼいつでも交換可能です。（[[instance]]宣言を扱う場合にいくつか制限があります）たとえば、このような宣言があったとします。
<haskell>
 type Name = String
</haskell>
<hask>String</hask>をシグネチャにもつどのような[[関数]]も<code>Name</code>型の要素に対して用いることができます。

しかしながら、もしこのような宣言の場合：
<haskell> 
  newtype FirstName = FirstName String
</haskell>
先ほどの例のようにはいきません。関数の宣言においては実際に'''FirstName'''に対して定義されてなければいけません。このような要求を軽減するために、しばしばデコンストラクタを宣言します。こんな具合です：
<haskell>
  unFirstName :: FirstName -> String
  unFirstName (FirstName s) = s
</haskell>
これはよく<code>newtype</code>内の[[field]]を使うときに行われます。（フィールドを幅広く使う人もいる一方で、多くの人がHaskellのフィールド実装は甘いと考えています。[[Programming guidelines]]や[[Future of Haskell]]も参照してください）