Posts

夕べ帰ったらAmazon.co.jpから届いていた。…

id:takatoh:20060604:group についた hyuki さんのコメント。…

リスト中に，関数 f（述語って言うの？）を満たす要素のほうが多ければ True をかえす，というのを考えた。all と any の中間みたいなもの。…

下のエントリは前段でこっちが本題。 id:hyukiさんとこ にコメントをつけたんだけど，忘れないようにこっちにも書いておく。…

結城浩のHaskell日記 にコメントをつけようとしたら，グループに参加しろと（はてなが）言うので参加してみた。…

型シノニム（type synonym）とは，既存のデータ型に別名をつけるというもの。String が [Char] であるのがよい例。…

レコードは代数的でないデータ型。C の構造体のようなもの。うまい例を思いつかないから，本に載ってるのをそのまま書くとこんな感じ。…

cf. id:rubyco:20060531:pascal…

データ構成子の引数は具体的な型じゃなくて型変数でもかまわない。…

「 入門Haskell―はじめて学ぶ関数型言語 」 p.101 より。…