Lambda Calculus中接收函数与值并返回应用结果的函数名称及签名问询

嘿，这个问题我刚好能给你明确的答案！

• 特定名称：你描述的这种「接收一个函数和一个值，返回该函数应用到值上的结果」的函数，在Lambda Calculus里通常被称为应用组合子（Application Combinator），而你自己推导的结论完全正确——它确实等价于组合子S(K)（也就是Substitution组合子与Constant组合子的组合形式）。
• 函数签名验证：对应的函数签名(a → b) → a → b是完全准确的：第一个参数是类型为a → b的函数（输入类型a的值，输出类型b的结果），第二个参数是类型a的值，最终返回类型b的结果，完美匹配该函数的行为逻辑。

补充个快速推导帮你巩固：
从组合子的基础定义出发：

• S组合子的形式为：S = λf.λg.λx.f x (g x)
• K组合子的形式为：K = λx.λy.x

将K代入S进行化简，最终就能得到对应你描述的函数形式，和你自己推导的结论一致。

内容的提问来源于stack exchange，提问作者Babakness