組合子邏輯維基百科,自由的 encyclopedia 組合子邏輯是Moses Schönfinkel和哈斯凱爾·加里介入的一種符號系統,用來消除數理邏輯中對變量的需要。它最近在計算機科學中被用做計算的理論模型和設計函數式程式語言的基礎。它所基於的組合子是只使用函數應用或早先定義的組合子來定義從它們的參數得出的結果的高階函數。
組合子邏輯是Moses Schönfinkel和哈斯凱爾·加里介入的一種符號系統,用來消除數理邏輯中對變量的需要。它最近在計算機科學中被用做計算的理論模型和設計函數式程式語言的基礎。它所基於的組合子是只使用函數應用或早先定義的組合子來定義從它們的參數得出的結果的高階函數。