lambda-calculus
-
不使用后继函数定义 lambda 加法
-
lambda-calculus 中 2 个列表的串联
-
lambda-calculus 列表中的元素数？
-
如何在 lambda 演算中创建多态对，例如“( a : type A, b : type B ) ”
-
Haskell: REPL 的 for 循环
-
你如何减少这个 lambda 演算表达式？
-
Haskell 函数返回其输入
-
在 Ocaml 中编写 Z 组合子
-
如何在函数式编程中定义函数？
-
如何修复函数式编程语言中"f = lambda x: f(x)+1"的无限循环错误？
-
有没有简单的方法可以用 monad 类型扩展简单类型的 lambda 演算？
-
如何在基于 lambda 演算的系统中将 beta 归约还原为命名函数？
-
Haskell 将递归步骤保存到列表中
-
Haskell 找到所有可能的 Beta 缩减的算法
-
Haskell 具有自定义类型的教会数字
-
减少这个 lambda 表达式
-
从 Curry-0、1、2 到 ...n
-
Scheme 是如何抽象数据的？
-
来自 lambda 演算的示例 assembly/machine 指令
-
从一对到 lambda 演算/方案中的列表