我对 lambda 演算如何编码对数据结构背后的逻辑感到困惑。 在 lambda 演算中，PAIR 编码为 对 ：= λx.λy.λf.f x y . 为什么我不能直接将其编码为 对 ：= ...

闭。这个问题与编程或软件开发无关。它目前不接受答案。 这个问题似乎与特定的编程问题、软件算法或程序员主要使用的软件工具无关。如果您认为该问题在另一个 Stack Exchange 站点上是主题，您可...

从这篇 Haskell Cafe 的帖子中，借用一些来自 jyp 的代码示例，我们可以在 Haskell 中构建一个简单的 PHOAS 评估器，如下所示： {-# LANGUAGE GADTs #-...