Haskell 算法找到所有可能的 Beta 减少
我正在尝试提出一种算法，可以打印给定表达式的所有...
Haskell 将递归步骤保存到列表中
我正在研究 Haskell lambda 演算解释器。我有一种方...
为什么 (( (λf.λx.f(f(f(x)))) (λg.λy.g(g(y))) ) (λz.z + 1)) (0) 求值为 8？
所以我有这个 lambda 表达式：<code>(λf.λx...
Lambda 演算：重新排序变量
给定 Lambda 演算 (LC) 中的任何多变量表达式，例如...
Scheme是如何抽象数据的？
在静态类型语言中，人们可以使用代数数据类型来抽象...
从 Curry-0, 1, 2 到 ...n
继上一个我问到的关于编写咖喱函数的问题之后，<...
减少这个 lambda 表达式
(λy.λy.yy)(yy) 伙计们，我无法解决这个表达式。 ...
Haskell 教堂数字无法打印 |需要一个类型，但 T 有类型 `f`
我正在关注维基百科上关于如何处理教会文字的指南。...
具有自定义类型的 Haskell 教堂数字
我正在尝试解决教堂数字解析器我有一个自定义类型，...
如何在基于 lambda 演算的系统中将 beta 归约还原为命名函数？
好吧，假设我在教堂编码中有一组函数定义（带有语法...
使用 y 组合器从布尔列表中去除 `FALSE` 前缀？难倒
给定一个列表，例如<code>(f: f FALSE (g: g ...
python – 在一个表达式中打印前n个斐波那契数列
所以我最近一直在搞乱 Python,我正试图找到一种方法...
如何正确咖喱JavaScript中的函数？
我在 JavaScript中写了一个简单的咖喱功能,在大多数...