Apply とは

数学とコンピュータサイエンスでは、applyは引数に関数を適用する関数です。これは、LISPやSchemeなどのラムダ計算から得られたプログラミング言語、および関数型言語の中心です。これは、部分的な完全な命令に対する連続的な関数であるため、コンピュータプログラムの意味論的意味論の研究において役割を果たす。アプライはホモトピー理論の連続関数でもあり、実際にはホモトピー変形を関数空間内の連続的な経路と見なすことを可能にします。同様に、コンピュータプログラムの有効な突然変異(リファクタリング)は、スコットトポロジにおいて「連続的」であるものとして見ることができる。
適用の最も一般的な設定はカテゴリ理論であり、閉じたモノイドカテゴリでのカリングに適切な随伴です。これの特殊なケースはデカルト閉鎖カテゴリであり、その内部言語は単純にタイプラムダ計算である。