自由定理和参数

时间：2013-01-08 02:09:45

标签： math haskell types functional-programming logic

我发现这个webapp可以让你为给定的类型生成一个自由定理。

生成的定理量化了这些类型的类型和关系。这些定理（公式）是哪个理论/逻辑系统的定理？这个系统如何与语言的等式理论相关？

1 个答案:

答案 0 :(得分：2)

参见介绍这一切的论文。

http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf

enter image description here

相关问题
最新问题