問題タブ [lambda-calculus]

具体的には、このように

関数 main の戻り値のラムダ式は何ですか?

私はYコンビネーターをよりよく学び(Schemeである程度理解している)、D 2.0で実装しようとしていますが、かなり惨めに失敗しています:

渡せないという明白な理由により、これは機能しませんfact(factその型は何でしょうか?)。その上、 の名前を自分自身に渡す必要があるfactので、いずれにしても機能しませんよね?

しかし...どうすればDでYコンビネーターを実装できますか?

...部分適用（または部分機能適用）とは、関数にいくつかの引数を固定し、より小さなアリティの別の関数を生成するプロセスを指します。

次の名前が特定されているかどうかを確認したいと思います:(擬似コード！）

関数型プログラミングでこれに名前はありますか？それとも、バインドされていないパラメータがたまたま関数である部分適用ですか？

ifラムダを使用してステートメントを置き換えることができると聞きました。

これはPythonで可能ですか？もしそうなら、どのように？

ラムダ計算の問題を解かなければなりません。特定のポイントに達しましたが、続行する方法がわかりません:

仕上げる方法はありますか？「a1,a2,a3...」を使用して、要素または関数の型を表します。たとえば、1::Int、2.4::Float、f::a1、x::a3 などです。それが十分に明確かどうかはわかりません...

どうもありがとう！！

教会の数字は、次のような言語の新しいラムダ部分を使用して、C++0x (C++11?) で表現できます。

Boost.Bind と C++03 を使用して教会の数字を表現することはできますか? もしそうなら、どのように？

私はこのラムダラムダ式を持っています: λx.(λy.(λz.x(yz)))

それからScheme式を書き込もうとしています。

これは私がしました：

そうですか？そうでない場合、私は何を間違っていますか?

私はラムダ計算を学び始めており、Erlang で I、S、K コンビネータを実装する必要があります。もちろん、S、K、I は次の略です。

S = λxyz.xz(yz) K = λxy.x I = λx.x

紙の上で I=SKK 変換を理解するのに問題はありません (ここで提示されているように: SKK と II がベータ版であることを証明するには、ラムダ計算です) が、関数型言語と高次関数に関しては理解できないようです。 ..

私はなんとか I と K を実行しました（モジュールで言ってみましょうtest）：

また、K x (K x) (SKK x = K x (K x)) の実行方法も知っています。

しかし、Sコンビネータを書くことはできません。私は試した：

それでも、SKK x を x に変換することはできません

私はこのように実行しようとします:

私は完全に迷っているので、助けていただければ幸いです。

型なしラムダ計算用のインタープリター（またはコンパイラー）はありますか？（このスレッドによると、それは可能です。）特に言語の多く（数字やブール演算子など）が（ユーザーまたはライブラリによって）実装されている場合は、プログラミング言語としてはほとんど役に立たないことを認識しています。言語自体。しかし、それでも微積分を学び、探索するのに役立つ楽しいツールになると思います。このため、コンパイラよりもインタプリタの方が望ましいでしょう。どちらでも機能します。誰かがそのようなプログラムを知っていますか？

Kコンビネータはで、K := (λxy.x)固定小数点コンビネータはY := λf.(λx.f x x) (λx.f x x)です。私は計算しようとしましたYK：

YKは の不動点だからですK:

任意の e。しかし、KIeに等しい必要がありますI!