上一页 1 ··· 118 119 120 121 122 123 124 125 126 ··· 182 下一页
2018年12月22日
emacs 图解
摘要： emacs 图解 End 阅读全文
posted @ 2018-12-22 09:29 lsgxeva 阅读(369) 评论(0) 推荐(0)
Emacs 安装配置使用教程
摘要： Emacs 安装配置使用教程 来源 https://www.jianshu.com/u/a27b97f900f7 序|Preface 先来一篇有趣的简介：Emacs和Vim：神的编辑器和编辑器之神 - 51CTO.COM 为何写这篇教程？ 作为一个彻头彻尾的emacs新手，尽管有些薄弱的编程经验，但 阅读全文
posted @ 2018-12-22 00:42 lsgxeva 阅读(2821) 评论(0) 推荐(0)
2018年12月21日
call/cc 总结 | Scheme
摘要： call/cc 总结 | Scheme 来源 https://www.sczyh30.com/posts/Functional-Programming/call-with-current-continuation/ Continuation Continuation 也是一个老生常谈的东西了，我们来 阅读全文
posted @ 2018-12-21 22:00 lsgxeva 阅读(3759) 评论(0) 推荐(0)
用call/cc合成所有的控制流结构
摘要： 用call/cc合成所有的控制流结构 来源 https://www.jianshu.com/p/e860f95cad51 call/cc 是非常、非常特殊的，因为它根本无法用 Lambda 演算定义。研究中使用了扩展的演算来处理这玩意。演算引入了一个结构算符，以及标记项（它表示将表达式标记为 ），对 阅读全文
posted @ 2018-12-21 21:57 lsgxeva 阅读(843) 评论(0) 推荐(0)
词法作用域 vs 动态作用域
摘要： 词法作用域 vs 动态作用域 链接：https://www.jianshu.com/p/cdebb5965000 scheme是一门采用词法作用域（lexical scoping）的lisp方言，这个设计是从alogol语言里借鉴过来的。现在，词法作用域已经被许多lisp方言所吸收，实践表明，这的确 阅读全文
posted @ 2018-12-21 21:54 lsgxeva 阅读(493) 评论(0) 推荐(0)
Y分钟入门lambda演算
摘要： 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 阅读(1596) 评论(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 阅读(1899) 评论(0) 推荐(0)
Racket Cheat Sheet
摘要： 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 阅读(498) 评论(0) 推荐(0)
scheme 教程 #lang racket
摘要： 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 阅读(2151) 评论(0) 推荐(0)
开始学习Scheme
摘要： 开始学习Scheme 函数式编程（Functional Programming）是在MIT研究人工智能（Artificial Intelligence）时发明的，其编程语言为Lisp。确切地说，Lisp是一个语言家族，包括无数的方言如：Scheme、Common Lisp、Haskell……等等。 阅读全文
posted @ 2018-12-21 09:22 lsgxeva 阅读(688) 评论(0) 推荐(0)
上一页 1 ··· 118 119 120 121 122 123 124 125 126 ··· 182 下一页