Math 自由定理与参数性
我发现了这一点,它可以让你为给定的类型生成一个自由定理Math 自由定理与参数性,math,haskell,types,functional-programming,logic,Math,Haskell,Types,Functional Programming,Logic,我发现了这一点,它可以让你为给定的类型生成一个自由定理 生成的定理量化了类型和这些类型上的关系。这些定理(公式)是哪个理论/逻辑系统的定理?这个系统与语言的等式理论有什么关系?参见介绍它的论文 如果尚未浏览,您可能需要浏览。欢迎使用堆栈溢出!您的问题似乎是堆栈溢出。它可能更适合我们的姐妹网站。
生成的定理量化了类型和这些类型上的关系。这些定理(公式)是哪个理论/逻辑系统的定理?这个系统与语言的等式理论有什么关系?参见介绍它的论文
如果尚未浏览,您可能需要浏览。欢迎使用堆栈溢出!您的问题似乎是堆栈溢出。它可能更适合我们的姐妹网站。