ha-tan https://blog.hatena.ne.jp/ha-tan/ 趣味的にっき https://ha-tan.hatenadiary.org/ Ruby lambdaが入れ子になっているところをまとめてみました。だいぶ読み易くなりました。 def nlambda(n, xs = [], &f) if n <= 0 f[*xs] else lambda {|x| nlambda(n - 1, xs + [x], &f) } end end I = nlambda(1) {|x | x } K = nlambda(2) {|x, y | x } S = nlambda(3) {|x, y, z| x[z][y[z]] } p S[K][K][100] == I[100] # => true 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fha-tan.hatenadiary.org%2Fentry%2F20071217%2F1197901895" title=" SKIコンビネータでSKK = I(Ruby版)そのに - 趣味的にっき" 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 2007-12-17 23:31:35 rich https://ha-tan.hatenadiary.org/entry/20071217/1197901895 1.0 100%