如何在 Haskell 中的 Lambda 演算中打开整数列表生成器 [m ...]

问题描述

我已经完成了在 lambda 演算中制作整数列表生成器 [m...] 的任务。 所以它应该满足这个定义。

Y F m ≡ : m (Y F (+ m 1))

因此需要一个 lambda 演算 F。 我不知道如何找到哪个 lambda 演算 F 应该是。 有人对F有什么建议吗？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）