Since abstraction is the only way to manufacture functions in the lambda calculus, something must replace it in the combinatory calculus.
因为在lambda演算中抽象是制造函数的唯一方式，在组合子演算中必须有某种东西替代它。