2012-02-15 Haskellの特徴 Haskell 関数型プログラミング言語 「そもそも関数型プログラミングって」(古典的説明がこちら) そこで挙げられている「仕事を抽象化しておくことについて」の例として出てくる、「再帰関数」をパターン化すること 初期値と2項演算による再帰関数は"reduce"と呼んで1つのものとみなせる。その再帰関数を特徴づけるのは、(1)初期値、(2)2項演算、である 遅延評価 多相性・多態性・Polymorphism 型推論 環境 非対話型 対話型 curry化 2引数の関数を「1引数を引数としてとり、『1引数を取る処理の関数』を返り値として返す関数」とする