lambda - コンビネータ/ポイントフリープログラミング言語におけるコンビネータの役割

Question

高階コンビネータ（または関数プロデューサー）は、連結および暗黙のプログラミングでどのような正確な役割を果たしますか？

スタックを直接操作するのではなく、連結プログラミング言語を実装する別の方法はありますか？

言及されたコンビネータとSchonfinkelのコンビネータ論理の間の関係はどのくらい緊密ですか？

Answer 1

スタックを直接操作するのではなく、連結プログラミング言語を実装する別の方法はありますか？

はい。エンチラーダ語は、用語の書き換えに基づいています。

Answer 2

「私は8歳のように連結言語を説明する」に対する私の答えの中で、プログラミング言語を説明するために「連結」という言葉を使用することは役に立たないと主張しました。このエリアは、マンフレッドフォントゥーンのプライベートな遊び場のようです。連結言語を構成するものの実際の定義はなく、連結言語の概念の根底にある成熟した理論もありません。概念は実際には定義されていないため、コンビネータの役割を明確に説明することは不可能です。

コンビネータ論理、SKコンビネータ、ラムダ計算、グラフ還元マシンなど、より確立されたトピックの研究に時間を費やすことをお勧めします。より実用的な観点からポイントフリープログラミングに興味がある場合は、APL、Forth、およびPostScriptをすべて検討する価値があります。