ryamada https://blog.hatena.ne.jp/ryamada/ ryamadaのコンピュータ・数学メモ https://ryamada.hatenadiary.jp/ Haskell 関数型プログラミング言語 「そもそも関数型プログラミングって」(古典的説明がこちら) そこで挙げられている「仕事を抽象化しておくことについて」の例として出てくる、「再帰関数」をパターン化すること 初期値と２項演算による再帰関数は"reduce"と呼んで１つのものとみなせる。その再帰関数を特徴づけるのは、（１）初期値、（２）２項演算、である 遅延評価 多相性・多態性・Polymorphism 型推論 環境 非対話型 対話型 curry化 ２引数の関数を「１引数を引数としてとり、『１引数を取る処理の関数』を返り値として返す関数」とする 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fryamada.hatenadiary.jp%2Fentry%2F20120215%2F1329443616" title="Haskellの特徴 - ryamadaのコンピュータ・数学メモ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-02-15 10:53:36 rich https://ryamada.hatenadiary.jp/entry/20120215/1329443616 1.0 100%