型シノニムと新しい型

型シノニム(type synonym)とは,既存のデータ型に別名をつけるというもの。String が [Char] であるのがよい例。
型シノニムを宣言するには type 宣言を使う。

type String = [Char]

newtype 宣言は「新しい型」を宣言する。type 宣言と data 宣言の中間的なもので,実体は既存の型とおなじであっても,元の型とは違う扱いをしたい,という場合に使うらしい。たとえば「実体は整数だが負の値は取らない」みたいな。
でもこれ,具体的な宣言の仕方が書いてない。まあ,あまり使わないのかな。

カテゴリー: Haskell パーマリンク

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

このサイトはスパムを低減するために Akismet を使っています。コメントデータの処理方法の詳細はこちらをご覧ください