随笔分类 - Scheme
Scheme
摘要：scheme 宏macro写法 来源 https://www.cnblogs.com/GodWroteinlisp/archive/2012/03/27/2420426.html scheme目前其实有至少三套宏系统: syntax-rules的能力是受限的,不能引入新的syntax-object,
阅读全文
摘要：Rust 阴阳谜题，及纯基于代码的分析与化简 雾雨魔法店专栏 https://zhuanlan.zhihu.com/marisa 来源 https://zhuanlan.zhihu.com/p/52249705 0. 前（请务必跳过） 之前用 Haskell 通过 Cont Monad 模拟过 ca
阅读全文
摘要：Emacs_快捷键列表 emacs -nw 以终端模式运行emacsLC_CTYPE=zh_CN.UTF-8 emacs C = Control M = Meta = Alt | EscAlt 可以粘滞 Esc 不能粘滞 S = Shift 注意：以上命令中标注的按键，大写的C代表Control,在
阅读全文
摘要：GNU Emacs命令速查表 第一章 Emacs的基本概念 表1-1：Emacs编辑器的主模式 模式 功能 基本模式（fundamental mode） 默认模式，无特殊行为 文本模式（text mode） 书写文字材料（第二章） 邮件模式（mail mode） 书写电子邮件消息（第六章） RMAI
阅读全文
摘要：Emacs 安装配置使用教程 来源 https://www.jianshu.com/u/a27b97f900f7 序|Preface 先来一篇有趣的简介：Emacs和Vim：神的编辑器和编辑器之神 - 51CTO.COM 为何写这篇教程？ 作为一个彻头彻尾的emacs新手，尽管有些薄弱的编程经验，但
阅读全文
摘要：call/cc 总结 | Scheme 来源 https://www.sczyh30.com/posts/Functional-Programming/call-with-current-continuation/ Continuation Continuation 也是一个老生常谈的东西了，我们来
阅读全文
摘要：用call/cc合成所有的控制流结构 来源 https://www.jianshu.com/p/e860f95cad51 call/cc 是非常、非常特殊的，因为它根本无法用 Lambda 演算定义。研究中使用了扩展的演算来处理这玩意。演算引入了一个结构算符，以及标记项（它表示将表达式标记为 ），对
阅读全文
摘要：词法作用域 vs 动态作用域 链接：https://www.jianshu.com/p/cdebb5965000 scheme是一门采用词法作用域（lexical scoping）的lisp方言，这个设计是从alogol语言里借鉴过来的。现在，词法作用域已经被许多lisp方言所吸收，实践表明，这的确
阅读全文
摘要：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
阅读全文
摘要：计算机编程书籍 来源 https://itwenti.com/?p=1696 参考 https://mp.weixin.qq.com/s/s8fabIODGzbIuTkqADgzdQ UNIX编程艺术链接：https://pan.baidu.com/share/link?uk=975929401&s
阅读全文
摘要：Racket Cheat Sheet 来源 http://docs.racket-lang.org/racket-cheat/index.html?q=Racket%20Cheat%20Sheet Essentials Sites main download docs git Community p
阅读全文
摘要：scheme 教程 #lang racket 来源 https://blog.csdn.net/yemeishenme/article/details/51471037 Welcome to 《The Little Schemer》笔记https://the-little-schemer.readt
阅读全文
摘要：开始学习Scheme 函数式编程（Functional Programming）是在MIT研究人工智能（Artificial Intelligence）时发明的，其编程语言为Lisp。确切地说，Lisp是一个语言家族，包括无数的方言如：Scheme、Common Lisp、Haskell……等等。
阅读全文
摘要：Racket指南 来源 https://blog.csdn.net/chinazhangyong/article/details/127872232 参考 https://github.com/OnRoadZy/RacketGuideInChinese Racket指南 Matthew Flatt,
阅读全文
摘要：玩弄Lisp系列第一弹:从王垠的40行CPS变换说起 2013-12-20 18:00:37| 分类： 默认分类 | 标签：lisp |举报 |字号 订阅 2013-12-20 18:00:37| 分类： 默认分类 | 标签：lisp |举报 |字号 订阅 2013-12-20 18:00:37|
阅读全文
摘要：SECD machine 对程序语言理论的理解 程序语言理论主要研究语法、语义及语言的实现。编程语言有语法，各种数学逻辑、结构化数据都有语法。乔姆斯基的语言体系及巴科斯范式是语法分析的基础，语法分析将字符串转换成有结构的抽象语法数据。对于语法的结构化表示，在命令式语言中使用数据结构，在函数式语言中使
阅读全文
摘要：scheme 之门 开始之前 这是一篇 Scheme 的介绍文章. Scheme 是一个 LISP 的方言, 相对于 Common LISP 或其他方言, 它更强调理论的完整和优美, 而不那么强调实用价值. 我在 学习 Scheme 的时候, 常想的不是 "这有什么用", 而是 "为什么" 和 "它
阅读全文
摘要：Lisp之根源 保罗格雷厄姆 来源 http://daiyuwen.freeshell.org/gb/rol/roots_of_lisp.html 约翰麦卡锡于1960年发表了一篇非凡的论文,他在这篇论文中对编程的贡献有如 欧几里德对几何的贡献.1 他向我们展示了,在只给定几个简单的操作符和一个 表
阅读全文
摘要：Racket里的方括号 Racket编程指南 https://blog.csdn.net/chinazhangyong/article/category/7386082 来自于QQ群racket！( 347238284 ) 在路上(346442406) 14:55:50 在Racket里，方括号和小
阅读全文
浙公网安备 33010602011771号