如何使用 Church 编码对两种不同的 Unit 类型进行编码
我正在研究Haskell，恰好知道教会数据类型的教堂编码。例如，Haskell中的单位类型可以编码为多态函数类型。但是，也可以定义一个单元'类型，该类型是 …
使用 Boost.Bind 表达教堂数字
教堂数字可以用 C++0x（C++11？）使用该语言的新 lambda 部分来表示，例如 this： typedef function F; static const F id = [=](int x) { return x; …
Haskell中教堂数字的减法
我正在尝试在 Haskell 中实现教堂数字，但遇到了一个小问题。 Haskell 通过 Occurs 检查抱怨无限类型 ：无法构造无限类型：t = (t -> t1) -> (t1→t2)…
如何使教堂数字在 lisp 中更易于阅读？
我可以使用方案相当容易地定义教堂数字： > (define f (lambda (x) x)) > (f f) ;0 # > (f (f f)) ;1 # 但是，这并不容易识别 (ff) 是 0 且 (f (ff)) …
- 共 1 页
- 1
