当前分类：church-encoding

Church 平等编码的递归

haskell - 给定一个教堂编码数字作为 CEK 机器的闭包结果，如何取回该数字？

haskell - 从 Church 编码转换为数字

lambda - Church 数字中 m 的 0 次方

haskell - bool 值和 STLC 的 Church 编码

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

lambda - 适用于教会数字的公式

lambda-calculus - 无法推导出 lambda 表达式 λx.λy.x(xy) 的数字表示(教会编码)

haskell - 如何在haskell中创建类的类型实例？

ocaml - OCaml 的类型系统是否会阻止它对 Church 数字进行建模？

lambda - 我怎样才能使教堂数字在 lisp 中更易于阅读？

haskell - Church naturals、求幂函数和类型检查

f# - F# 中的教会数字

haskell - 如何在haskell中实现教堂编码划分？

haskell - 依赖类型的教堂编码 : from Coq to Haskell

haskell - 是否可以使用迭代增量对键入的 Church 数字实现加法？

language-agnostic - 自然数的 Church 数字编码是否不必要地复杂？

haskell - Church-encoded 列表的 Catamorphisms

scala - Scala 中的 lambda 演算

functional-programming - 是否可以创建泛型 ADT 的类型级表示？

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们