小编Som*_*ome的帖子

我正在尝试制作用于计算lambda演算中的列表元素总和和列表长度的函数。
列表示例：a := [1, 2, 3] = ?cn.c 1 (c 2 (c 3 n))
sum a应返回6并len a应返回3。

我写了递归版本：

len = ?l.if (empty l) 0 (plus 1 (len (tail l)))
sum = ?l.if (empty l) 0 (plus (head l) (sum (tail l)))

如果if，empty，plus，tail是其他lamda函数。

然后，我使用定点组合器做了一些技巧：

len = ?l.if (empty l) 0 (plus 1 (len (tail l))) 
len = ?fl.if (empty l) 0 (plus 1 (f (tail l))) len
len = Y ?fl.if (empty l) 0 (plus 1 (f …