上一页 1 ··· 120 121 122 123 124 125 126 127 128 ··· 184 下一页
摘要: Y分钟入门lambda演算 来源 https://zhuanlan.zhihu.com/p/57972301 参考 https://learnxinyminutes.com/docs/zh-cn/lambda-calculus-cn/#:~:text=Lambda%20%E6%BC%94%E7%AE 阅读全文
posted @ 2018-12-21 14:33 lsgxeva 阅读(1609) 评论(0) 推荐(0)
摘要: 计算机编程书籍 来源 https://itwenti.com/?p=1696 参考 https://mp.weixin.qq.com/s/s8fabIODGzbIuTkqADgzdQ UNIX编程艺术链接:https://pan.baidu.com/share/link?uk=975929401&s 阅读全文
posted @ 2018-12-21 14:26 lsgxeva 阅读(1986) 评论(0) 推荐(0)
摘要: Racket Cheat Sheet 来源 http://docs.racket-lang.org/racket-cheat/index.html?q=Racket%20Cheat%20Sheet Essentials Sites main download docs git Community p 阅读全文
posted @ 2018-12-21 14:18 lsgxeva 阅读(502) 评论(0) 推荐(0)
摘要: scheme 教程 #lang racket 来源 https://blog.csdn.net/yemeishenme/article/details/51471037 Welcome to 《The Little Schemer》笔记https://the-little-schemer.readt 阅读全文
posted @ 2018-12-21 09:40 lsgxeva 阅读(2171) 评论(0) 推荐(0)
摘要: 开始学习Scheme 函数式编程(Functional Programming)是在MIT研究人工智能(Artificial Intelligence)时发明的,其编程语言为Lisp。确切地说,Lisp是一个语言家族,包括无数的方言如:Scheme、Common Lisp、Haskell……等等。 阅读全文
posted @ 2018-12-21 09:22 lsgxeva 阅读(697) 评论(0) 推荐(0)
摘要: Racket指南 来源 https://blog.csdn.net/chinazhangyong/article/details/127872232 参考 https://github.com/OnRoadZy/RacketGuideInChinese Racket指南 Matthew Flatt, 阅读全文
posted @ 2018-12-21 09:13 lsgxeva 阅读(3219) 评论(0) 推荐(0)
摘要: 玩弄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 阅读(1517) 评论(0) 推荐(0)
摘要: SECD machine 对程序语言理论的理解 程序语言理论主要研究语法、语义及语言的实现。编程语言有语法,各种数学逻辑、结构化数据都有语法。乔姆斯基的语言体系及巴科斯范式是语法分析的基础,语法分析将字符串转换成有结构的抽象语法数据。对于语法的结构化表示,在命令式语言中使用数据结构,在函数式语言中使 阅读全文
posted @ 2018-12-20 10:12 lsgxeva 阅读(607) 评论(0) 推荐(0)
摘要: scheme 之门 开始之前 这是一篇 Scheme 的介绍文章. Scheme 是一个 LISP 的方言, 相对于 Common LISP 或其他方言, 它更强调理论的完整和优美, 而不那么强调实用价值. 我在 学习 Scheme 的时候, 常想的不是 "这有什么用", 而是 "为什么" 和 "它 阅读全文
posted @ 2018-12-20 09:33 lsgxeva 阅读(2050) 评论(0) 推荐(1)
摘要: Lisp之根源 保罗格雷厄姆 来源 http://daiyuwen.freeshell.org/gb/rol/roots_of_lisp.html 约翰麦卡锡于1960年发表了一篇非凡的论文,他在这篇论文中对编程的贡献有如 欧几里德对几何的贡献.1 他向我们展示了,在只给定几个简单的操作符和一个 表 阅读全文
posted @ 2018-12-20 09:20 lsgxeva 阅读(769) 评论(0) 推荐(0)
上一页 1 ··· 120 121 122 123 124 125 126 127 128 ··· 184 下一页