问题标签 [church-encoding]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
91 问题
0
投票
1
回答
60
浏览
haskell - 教堂数字、刚性型和无限型
我试图实现 Church 数字前置函数pred，然后我参考了关于教堂编码的维基百科页面。
根据它，我写了以下内容
哪种类型检查。
但是当我尝试使用pred1来更直接地实现它时
ghc 抱怨说
或 lambda 演算风格
编译器说
如果我没有指定pred3的类型，则推断的类型是
我无法弄清楚这两个错误，任何建议都会有所帮助