yuroyoro https://blog.hatena.ne.jp/yuroyoro/ ( ꒪⌓꒪) ゆるよろ日記 https://yuroyoro.hatenablog.com/ scala Yコンビネータの定義: def Y[A,B]( f:((A => B), A ) => B, x:A ):B = f( ( y:A ) => Y( f,y ),x ) Yコンビネータってのは、要は Y(f) = f(Y(f))となる関数らしい。不動点演算子とか呼ばれていますがなんのことかわかりませんね。 「ある関数fをYに与えた結果できる関数をf'とすると、f'をまたYに与えてできる関数はfと同じ」になるように関数を作り出すものです。 何でこんなもん必要なの? ある無名関数があるとしましょう。この無名関数は名前が定義されていないため、自身を再帰で呼び出す定義ができません。 単純に、0から引数n… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyuroyoro.hatenablog.com%2Fentry%2F20100204%2F1265285318" title="scalaでYコンビネータ - ( ꒪⌓꒪) ゆるよろ日記" 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 2010-02-04 21:08:38 rich https://yuroyoro.hatenablog.com/entry/20100204/1265285318 1.0 100%