タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

fpとlambdaに関するh6nのブックマーク (1)

  • CoffeeScriptでチャーチ数(CoffeeScriptとラムダ式) - あと味

    ラムダ計算では、数値すら関数で表現できるらしいです。 数値を関数で表現する方法のひとつにチャーチ数というものがあるとのこと。 何で書いてみようかなと迷ったのですが、この手の処理をシンプルに書けそうだと思ったので、CoffeeScriptで書いてみることにしました。多分、正解だったと思います。 サンプルコード church.coffee church.js 関数適用の数で自然数を表現するってのが面白いし、まず発想できないですね。 ややこしかったので間違ってるかもしれませんが、簡約していくと、こんな感じになるのでしょうか。 最初は関数がメタな表現過ぎて、何をしたいのか頭で整理しきれませんでしたが、参考サイトを見ながら、書いてみて、実行して、理解できました。生JavaScriptで書こうとしていたら、もっと理解に苦しんだでしょう。 なんでも関数で表現できるラムダ計算ってすごいですね。データ構造や

    CoffeeScriptでチャーチ数(CoffeeScriptとラムダ式) - あと味
  • 1