小编Jwa*_*iye的帖子

我一直在阅读各种类型的系统和lambda calculi,我发现lambda立方体中的所有类型的lambda结石都是强烈正常化而不是图灵等效.这包括系统F,简单类型的lambda演算加多态.

这引出了以下问题,我一直无法找到任何可理解的答案:

• (例如)Haskell的形式主义与表面上基于的微积分有何不同？
• Haskell中的哪些语言功能不属于System F形式主义？
• 允许图灵完整计算所需的最小变化是什么？

非常感谢你帮助我理解这一点.