摘要: 玩弄Lisp系列第一弹:从王垠的40行CPS变换说起 2013-12-20 18:00:37| 分类: 默认分类 | 标签:lisp |举报 |字号 订阅 2013-12-20 18:00:37| 分类: 默认分类 | 标签:lisp |举报 |字号 订阅 2013-12-20 18:00:37| 阅读全文
posted @ 2018-12-20 11:54 lsgxeva 阅读(1488) 评论(0) 推荐(0)
摘要: SECD machine 对程序语言理论的理解 程序语言理论主要研究语法、语义及语言的实现。编程语言有语法,各种数学逻辑、结构化数据都有语法。乔姆斯基的语言体系及巴科斯范式是语法分析的基础,语法分析将字符串转换成有结构的抽象语法数据。对于语法的结构化表示,在命令式语言中使用数据结构,在函数式语言中使 阅读全文
posted @ 2018-12-20 10:12 lsgxeva 阅读(595) 评论(0) 推荐(0)
摘要: scheme 之门 开始之前 这是一篇 Scheme 的介绍文章. Scheme 是一个 LISP 的方言, 相对于 Common LISP 或其他方言, 它更强调理论的完整和优美, 而不那么强调实用价值. 我在 学习 Scheme 的时候, 常想的不是 "这有什么用", 而是 "为什么" 和 "它 阅读全文
posted @ 2018-12-20 09:33 lsgxeva 阅读(2042) 评论(0) 推荐(1)
摘要: Lisp之根源 保罗格雷厄姆 来源 http://daiyuwen.freeshell.org/gb/rol/roots_of_lisp.html 约翰麦卡锡于1960年发表了一篇非凡的论文,他在这篇论文中对编程的贡献有如 欧几里德对几何的贡献.1 他向我们展示了,在只给定几个简单的操作符和一个 表 阅读全文
posted @ 2018-12-20 09:20 lsgxeva 阅读(747) 评论(0) 推荐(0)