問題タブ [lambda-calculus]

そんなこと知ってる：

このようなリストを書きたい

、これは次のようになります。

しかし、「nil」をS、K、およびIコンビネータにコンパイルする方法がわかりません。誰か知っている？

よろしくお願いします、エドウィンホセパラシンカル

ラムダ計算を学んでいますが、数値 0 のエンコーディングを理解できないようです。

「関数と2番目の値を取り、引数に関数をゼロ回適用する関数」はどのようにゼロですか? ゼロをエンコードする他の方法はありますか? ここで誰かが0をエンコードするのを手伝ってくれますか?

数学とコンピューター プログラミング言語の収束を求める強い動きがあるようです。これは、現代の言語に対するラムダ計算の影響によって特に証明されています。ほとんどの場合、私は数学で考えるのではなく、論理で考えます。数学的にモデル化できる現象の多くは、論理的にもモデル化できるように思えます。

純粋に論理的な言語や純粋に数学的な言語が汎用プログラミングの牽引力を獲得することはないと思いますが、それぞれのパラダイムの利点の一覧を作成したいと思います。知りたい:

• 数学でプログラミング言語または言語機能をモデル化する利点は何ですか?
• 形式論理の原則に基づいて言語をモデル化する利点は何ですか?
• 汎用言語は、論理または数学のいずれかを差し控えることができますか?
• どちらのアプローチの利点も実際に示している言語は何ですか?
• あるアプローチが他のアプローチよりも魅力的であるハードウェア機能は何ですか?

ラムダ計算（λx.λy.λs.λz.xs（ysz））は、2つのチャーチ数の加算に使用されます。これをどのように説明できますか？機能プログラミングのためのラムダ計算に適したリソースはありますか？あなたの助けは大歓迎です

Haskellとラムダ計算のPythonコードは何ですか？

ラムダ計算での私の試み

これは、AND 演算子のラムダ計算表現です。

この表現を理解するのを手伝ってくれる人はいますか?

スキームを使用して、教会の数字をかなり簡単に定義できます。

ただし、これでは、 が 0 で (f (ff)) が 1 であることを簡単に認識できません(f f)。これらの数字を読みやすくする方法はありますか? 理想的なのは次のとおりです。

例はスキームにありますが、私は任意のリスプで答えます。

時々Schemeで、私はこのような引数を取る関数を持っています

要素がどのようなものであるか、この種の「リスト」を何と呼びますa1 a2 a3か？リストは括弧で囲まれ、要素はコンマで区切られているため、リストとは言えないと思います。

ラムダ計算で型がどのように機能するかをよりよく把握しようとしています。確かに、型理論に関する多くのことは私の頭の中にあります。Lisp は動的に型付けされた言語ですが、それは型付けされていないラムダ計算にほぼ相当しますか? それとも、私が気付いていない「動的に型付けされたラムダ計算」のようなものがありますか?

次のステップで立ち往生しています。誰かが私を助けることができれば、それは素晴らしいことです:

私の手順は次のとおりです。

括弧は大丈夫ですか？私は置換と括弧について本当に混乱しています。このような問題に対処するための正式で簡単な手法はありますか?