什么是cons公理？谁能解释一下？

level 3

善良大白兔😜 楼主

http://zh.wikipedia.org/zh-cn/Lisp#.E5.9F.BA.E6.9C.AC.E6.93.8D.E4.BD.9C.E7.AC.A66_cons

2013年05月17日 07点05分 1

level 5

统协体

你是说用法？
还是来历？貌似是lambda演算可以构建二叉树，然后弄出来的

2013年05月18日 12点05分 2

level 3

善良大白兔😜 楼主

我都有兴趣。

2013年05月18日 14点05分 3

level 8

yjqww6

cons可以用lambda演算实现
(defun _cons (a b)
(lambda (f) (funcall f a b)))
(defun _car (f)
(funcall f (lambda (a b) a)))
(defun _cdr (f)
(funcall f (lambda (a b) b)))

2013年05月19日 04点05分 4