在什么意义上,Constant Applicative Form适用？

Question

我理解CAF是一种形式,在某种意义上它在内存中具有特定的形状,或者是一种可以评估的某种值的无限多种可能的图形表示.(值得注意的是,"常量应用形式"与"静态thunk"同义.)

我理解它是不变的,因为没有自由变量,并且已经包含了评估常量形式所需的所有信息.这是一个没有向外指向箭头的形状.

但为什么" 适用 "？因此我无法入睡.每个人都说咖啡馆,咖啡馆,但实际上谁知道字面意思是什么？它是否与应用仿函数有关(我猜不是)？还有哪些其他类型的应用形式？

Answer 1

每个 CAF 都是一个超级组合器，长话短说，超级组合器是采用其他（可能是空的）函数并将它们彼此应用的函数。

因此，我对 CAF 名称中“应用性”的理解是指它们的超级组合性质。