lambda-calculus - 什么是 J 运算符，它与 call/cc 相同吗？
问题描述
在研究 ISWIM 时，我听说过“J 算子”或“程序点算子”。我想知道它是什么。它的维基百科文章非常模糊：
在计算机科学中，Peter Landin 的 J 运算符是一种编程构造，它后组合一个 lambda 表达式，并延续到当前的 lambda 上下文。生成的“函数”是一等的，可以传递给后续函数，如果应用它会将其结果返回给创建它的函数的延续。
“后期创作”是什么意思？我查了一下，只能找到一个数学定义。我在其他地方搜索了很多，但发现的很少。有几页提到它，但没有一个详细描述它的实际情况。
那么，什么是 J 运算符，它的作用是什么，它与 call/cc 类似吗？