当前分类：lambda-calculus

haskell - 从 Church 编码转换为数字

lambda - Church 数字中 m 的 0 次方

Haskell Lambda 帮助 - 创建应用程序函数

functional-programming - 如何理解lambda表达式中的 bool 表达式？

lambda-calculus - lambda演算的实际应用

python - 为什么 (( (λf.λx.f(f(f(x)))) (λg.λy.g(g(y))) ) (λz.z + 1)) (0) 的计算结果为 8？

algorithm - Haskell 算法找到所有可能的 Beta 约简

haskell - 不返回组合表达式的所有可能的一步归约

lambda-calculus - Lambda 演算查询

lisp - 如何在lambda演算中实现LISP的 `EQ`？

scala - 按值调用和按名称等效

具有递归类型的 Haskell AST

lambda - 部分 lambda 的 Beta 还原

math - 函数式编程和马尔可夫链有某种关系吗？

haskell - 避免捕获替换函数 — Lambda 演算

f# - 如何在 F# 中实现定点运算符(Y 组合器)？

c++ - 如何将函数的 y→λx.yx 'lifting' 执行为仿函数？

lambda-calculus - 教会编码的目的是什么？

recursion - 递归 lambda 演算函数

haskell - 在haskell中函数定义的LHS中添加参数的语义是什么？

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们