Posts
結城浩のHaskell日記 にコメントをつけようとしたら，グループに参加しろと（はてなが）言うので参加してみた。…
型シノニム（type synonym）とは，既存のデータ型に別名をつけるというもの。String が [Char] であるのがよい例。…
レコードは代数的でないデータ型。C の構造体のようなもの。うまい例を思いつかないから，本に載ってるのをそのまま書くとこんな感じ。…
cf. id:rubyco:20060531:pascal…
データ構成子の引数は具体的な型じゃなくて型変数でもかまわない。…
「 入門Haskell―はじめて学ぶ関数型言語 」 p.101 より。…
新しく宣言した型を何らかの型クラスのインスタンスとして宣言するには，instance 宣言を使う。が，いくつかの型クラスに関してはもっと簡単な方法がある。data 宣言と一緒に deriving 修飾子を使うのがそれ。…
data宣言を使って，新しい型を宣言することができる。こんな感じだ。…
