在谈论 lambda 演算时，postcompose 是什么意思？
What does postcompose mean when talking about lambda calculus?
在阅读有关 lambda 演算、ISWIM 和许多其他内容的各种论文时，我经常听到“postcompose”这个词出现（例如 https://en.m.wikipedia.org/wiki/J_operator）。然而，经过大量研究，我找不到任何东西（除了一个与我要找的东西无关的数学定义）。那么，“后期合成”是什么意思？
术语 postcompose 并不特定于 lambda 演算。在两个函数、运算符、函子或定义了组合的任何对象的上下文中，它实际上只是意味着 compose。 post前缀用于消除组合顺序的歧义，因此post组合f 和 g 是 g ∘ f = g(f( x)).
在 lambda 演算的上下文中，您有例如可组合的函数应用程序。
在阅读有关 lambda 演算、ISWIM 和许多其他内容的各种论文时，我经常听到“postcompose”这个词出现（例如 https://en.m.wikipedia.org/wiki/J_operator）。然而，经过大量研究，我找不到任何东西（除了一个与我要找的东西无关的数学定义）。那么，“后期合成”是什么意思？
术语 postcompose 并不特定于 lambda 演算。在两个函数、运算符、函子或定义了组合的任何对象的上下文中，它实际上只是意味着 compose。 post前缀用于消除组合顺序的歧义，因此post组合f 和 g 是 g ∘ f = g(f( x)).
在 lambda 演算的上下文中，您有例如可组合的函数应用程序。