Applicative computing systems とは

応用コンピューティングシステム(ACS)は、結合論理とラムダ計算に基づくオブジェクト計算のシステムである。これらのシステムで考慮されている唯一の本質的な概念は、オブジェクトの表現です。組み合わせ論理では、唯一のメタオペレータはあるオブジェクトを他のオブジェクトに適用する意味でのアプリケーションです。ラムダ計算では、2つのメタオペレータが使用されます。アプリケーション – 結合ロジックと同じであり、1つのオブジェクト内の唯一の変数をバインドする機能抽象です。