RubyでYコンビネーターとZコンビネーター - Qiita
あいさつ 計算機による一階述語論理の決定不能の取り扱い方を調べる中で コンビネーター理論の理解が深まったので筆を取る事にした. このたぐいのテクを用いると、識別子に依らない関数の再帰を定義出来る（！！） # Zコンビネーター Z = ->(f) { ->(x){ f.( ->(y) {x.(x).(y)} ) }.( ->(x){ f.( ->(y) {x.(x).(y)} ) } ) } # 識別子に依らずに階乗を定義！ Z.(->(_){ ->(n){ n == 0 ? 1 : n * _.(n-1) } }).(5) # => 120 以下説明 自分の理解度の確認のためにも用語を１つ１つ丁寧に積み重ねて分かりやすくしたつもり. λ式とは λ式なんていかがわしい言葉を使っているがメチャ簡単な事、でも実は難しい. 皆さんおなじみ２次関数
Yコンビネータのお話 - 風と宇宙とプログラム
過去にもいろいろなブログで何度も取り上げられて話題になりましたが、自分なりの理解で書いてみました。Yコンビネータはシンプルでありながら、不思議で奥が深いので興味をそそる要素があるのでしょう。 JavaScriptも広い意味では関数型言語であり、λ計算とほぼ同等のものが表現できます。λ計算による再帰的関数定義で登場するYコンビネータのJavaScriptでの実装について簡単にメモしておきます。 唐突ですが、JavaScriptで再帰的階乗計算factは以下のように定義されます。 function fact(n) { return n == 0 ? 1 : n * fact(n - 1); } 関数オブジェクトを陽にあらわすと、これは var fact = function (n) { return n === 0 ? 1 : n * fact(n - 1); }; とほぼ同等です。しかし、関
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
