0

最近开始了一个关于简单类型 lambda 演算的大学模块，对于任何给定的示例，它只是 (t1->t2) 或类似的，我从未使用过这么长的类型字符串。问题是定义一个术语，使用尽可能短的定义，类型为 (t1→t3)→(t2→t3→t5)→t2→t1→t7。我如何开始这个，我可以把它分解成更小的类型还是我必须把它作为一个长类型来完成。

4

1 回答 1

0

首先将函数的类型分开。它是一个接受 4 个参数并返回 t7 类型的函数。

  • 第一个参数是一个有 1 个类型为 t1 的参数的函数，它返回类型 t3 => p1
  • 第二个参数是具有 t2 和 t3 类型的 2 个参数的函数，它返回类型 t5 => p2 等。

然后，您需要使用这些参数和附加函数（比如说 f1...f4）来使输入创建 t7 类型的东西。当你有 t7 类型的东西时，你只需要把这个函数变成简单类型的 lambda 演算

于 2016-11-29T21:00:00.063 回答