Haskellの特徴

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