連結/暗黙のプログラミング言語におけるコンビネーターの役割

Question

高次の組み合わせ（または関数プロデューサー）はどのような正確な役割を保持していますか 連結 と 暗黙のプログラミング?

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

言及された組み合わせとの関係はどれほどタイトですか Schonfinkel's 組み合わせロジック?

Answer 1

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

組み合わせロジック、SKコンビネーター、ラムダ計算、グラフ削減マシンなど、より確立されたトピックの研究に時間を費やすことをお勧めします。より実用的な視点からのポイントフリープログラミングに興味がある場合、APL、フォース、ポストスクリプトはすべて勉強する価値があります。

Answer 2

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

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