sirocco https://blog.hatena.ne.jp/sirocco/ sirocco の書いてもすぐに忘れるメモ https://sirocco.hatenadiary.org/ scheme Ruby 検索していたら、きしだのはてな・おとうさん、ぼくにもYコンビネータがわかりましたよ！ という記事にめぐり逢って面白かったので Scheme 写経してみました。 ラムダ関数の表記 ラムダ関数は λx.x のように表記します。 λx.x λx.x*2(λx.x*2)y という関数は xの部分をyでおきかえると (λx.x*2)y → y * 2 となります。これを簡約といいます。 ;; scheme (lambda(x) x) ;=> #<closure #f> ((lambda(x) x) 2) ;=> 2 # ruby lambda{|x| x} #=> #<Proc:0xb77e75a4@(… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsirocco.hatenadiary.org%2Fentry%2F20101028%2F1288214324" title="チャーチ数とラムダ計算 - sirocco の書いてもすぐに忘れるメモ" 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-10-28 06:18:44 rich https://sirocco.hatenadiary.org/entry/20101028/1288214324 1.0 100%