lambda-calculus

10熱

3答えて

純粋に機能的なプログラム用に仮想マシンを開発しています。すでに利用可能なさまざまなHaskellモジュールをテストして使用したいと考えています。 VMは、型指定されていないラムダ計算で基本的に項を取ります。私は現代のHaskellモジュール（例えば、MPTC、パターンガードなど）からそのような表現を抽出するには、何が良い方法だろうと思っています。私は少しの研究をしましたが、すでにこれを行うツールで

0熱

1答えて

ラムダ計算ヘルプ

私はこの問題の1つの部分に完全に固執しています。誰かが助けることができればすばらしいでしょう......... ここで、Zという用語は、Zがλzです。 x（z z x）は、を満たし、ZZM =βM（ZZM）である固定小数点結合器に対する要件を満たす。

5熱

2答えて

YコンビネータをSchemeで定義する

固定小数点コンビネータが何であるかを知るために、私は自分自身で書きました。しかし、その代わりに厳密に匿名関数でそれを書き込むので、Wikipedia's exampleのように、私はちょうど使用定義： (define combine (lambda (functional) (functional (lambda args (apply (combine functional)

2熱

1答えて

ラムダ計算の質問 - コンクリート

私は (f.x.f(f x))(y.y+1) = x.(y.y+1)((y.y+1) x) = x.(y.y+1)(x+1) = x.x+1+1 を以下している、それはOK最後の変換であり、なぜ私は理解していませんか？ x.(y.y+1)(x+1)= y+1ではありませんか？なぜ彼はy

5熱

1答えて

ラムダ微積分演算子の優先順位

ラムダ計算演算子の優先順位を理解する上で問題があります。たとえば、次のコード： lambda x. (x (z lambda y. x y)) または lambda x. ((x z) (lambda y. x y)) ： lambda x.x z lambda y.x y はなるだろうか？さらに複雑な例：上記の例では、括弧が行く (lambda x.x z) lambda y.w

4熱

1答えて

IO :: Lambda in Perl

私はいくつかのPerlスクリプトでいくつかのメンテナンス作業をオフロードしています。要件の1つは、数十のファイル（HTTP）を並行してダウンロードすることです。私は最も簡単な解決策のためにCPANを調べて、IO::Lambda::HTTPと呼ばれるこのモジュールを見つけました。残念ながら、私は関数型プログラミング（および初心者レベルのPerlエクスペリエンス）に関する経験は全く持っていないので、

2熱

1答えて

ラムダの構文解析方法

ラムダ計算を解析したいと思います。私はその用語を解析し、括弧の優先順位を尊重する方法を知らない。例： (lx ly (x(xy)))(lx ly xxxy) 私はこれを行う良い方法を見つけることはできません。私は適応アルゴリズムを見ることができません。用語は、タイプ（APPLICATION、ABSTRACTION、VARIABLE）およびタイプ「struc term」の右と左のコンポーネント

8熱

1答えて

S、K、Iコンビネータを使用して空リストを書き込む方法は？

私がいることを知っている： ((s ((s i) (k [a]))) (k ((s ((s i) (k [b]))) (k ((s ((s i) (k [c]))) (k [nil])))))) しかし、私はしないでください。 (cons [p] [q]) is ((s ((s i) (k [p]))) (k [q])) (car [lst]) is ([lst] k) (cdr [lst

13熱

1答えて

ラムダの計算と教会の数字の混乱

私はラムダ計算と教会の数字の基礎を理解しようとしています。私は多くの読書と練習をしてきましたが、私はいくつかの機能がどのように機能するか見てみようとしていました。私が執着している例は次のとおりです。おそらく誰かが私が間違っている場所を説明することができます。 1教会数字として表すことができる。 λm. λn. n m 私がしたいすべての：教会数字（M N）に指数関数として与えることができる