と思ってググったらウィッキペディーアーが最初に出てきた。 代数的データ型 - Wikipedia 値をコンストラクタで包んだ感じなのね。実装でもそんな感じになってるしな。 解説してるページがあった。 Haskell の代数的データ型と型クラス、instance 宣言の関係…

Listを作ってみる＋値コンストラクタについて data List a = Empty | Cons a (List a) deriving (Show, Read, Eq, Ord) Consは:を言い換えたものって書かれてるので実際に型を見てみる。 ghci> :t (:) (:) :: a -> [a] -> [a] ghci> :t Cons Cons :: a -> Li…