jdg https://blog.hatena.ne.jp/jdg/ あと味 https://taiju.hatenablog.com/ CoffeeScript OCaml ラムダ計算では、数値すら関数で表現できるらしいです。数値を関数で表現する方法のひとつにチャーチ数というものがあるとのこと。何で書いてみようかなと迷ったのですが、この手の処理をシンプルに書けそうだと思ったので、CoffeeScriptで書いてみることにしました。多分、正解だったと思います。 サンプルコード church.coffee church.js 関数適用の数で自然数を表現するってのが面白いし、まず発想できないですね。ややこしかったので間違ってるかもしれませんが、簡約していくと、こんな感じになるのでしょうか。最初は関数がメタな表現過ぎて、何をしたいのか頭で整理しきれませんでしたが、参考サイ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftaiju.hatenablog.com%2Fentry%2F20120529%2F1338299884" title="CoffeeScriptでチャーチ数（CoffeeScriptとラムダ式） - あと味" 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-05-29 22:58:04 rich https://taiju.hatenablog.com/entry/20120529/1338299884 1.0 100%