我已经看到了教会Rosser定理的多个参考,特别是钻石属性图,同时学习函数式编程,但我没有遇到过一个很好的代码示例.
如果像Haskell这样的语言可以被视为一种lambda演算,那么必须能够使用语言本身来演示一些例子.
如果示例轻松地显示步骤或减少如何导致易于并行执行,我会给予奖励积分.
haskell functional-programming ml lambda-calculus
functional-programming ×1
haskell ×1
lambda-calculus ×1
ml ×1