CONS形式化 (一般化)
来源:互联网 发布:html个人网页源码 编辑:程序博客网 时间:2024/05/29 17:35
(defun mycons (x y)
(lambda ( s z)
(funcall (funcall s x y ) z)
)
)
(defun wrapcar (s)
(lambda (a b)
(lambda (z)
(funcall a s z)
)
)
)
(defun mycar (n)
(lambda (s z)
(funcall n (wrapcar s ) z)
)
)
(defun wrapcdr (s)
(lambda (a b)
(lambda (z)
(funcall b s z)
)
)
)
(defun mycdr (n)
(lambda (s z)
(funcall n (wrapcdr s ) z)
)
)
(setq one (lambda (s z) (funcall s z) ))
(setq two (lambda (s z) (funcall s (funcall s z) )))
(setq three (lambda (s z) (funcall s (funcall s (funcall s z) ))))
(defun chenbing (value)
(list 'chenbing value)
)
(funcall one 'chenbing nil)
(funcall two 'chenbing nil)
(funcall three 'chenbing nil)
(setq a (mycons two one) )
(setq b (mycons three a) )
(funcall (mycar a) 'chenbing nil)
(funcall (mycar b) 'chenbing nil)
- CONS形式化 (一般化)
- CONS形式化 (第一次尝试)
- CONS形式化 (相对完美版)
- 一般化理论(六)
- Rococo(cons野马)
- 支点(行为的一般化)
- 形式化
- lisa固定点一般化(失败了)
- 关于基本Servlet的路径配置问题(可一般化)
- Java编程优化之旅(一)一般化方法
- 一般化规则
- 9. cons
- 总结cons
- 总结cons
- 总结cons
- 总结cons
- 总结cons
- C++ cons
- Android核心分析(18)-----Android电话系统之RIL-Java
- Linux文件系统
- .click() ie6 submit 的问题
- JavaScript:void(0)
- CONS形式化 (第一次尝试)
- CONS形式化 (一般化)
- Android核心分析(19)----电话系统之GSMCallTacker
- stagefright框架(一)Video Playback的流程
- CONS形式化 (相对完美版)
- Yamon startup分析(未整理二)
- JAVA-JDK里的设计模式
- 一个简单的WPF图片动画制作
- linux ln 链接
- 自然数形式系统的实验1