相关疑难解决方法(0)

GHC发生检查阻止您构建无限类型.它的目的是防止代码中的常见错误或防止类型检查程序无限循环,或两者兼而有之？

它识别的是什么情况,恶意用户是否有可能欺骗它(如在安全Haskell上下文中)进入循环？如果类型系统是图灵完成的(是吗？)我不明白GHC如何保证计算停止.