何幻 + 关注
阿里高级前端开发工程师

何幻 发表了文章:

Emacs之魂(一):开篇

发布时间:2017-10-31 13:48:27 浏览:1523 回帖 :0

程序员大部分的时间都是在和代码打交道,因此,对于文本编辑器一定不会陌生了。 编辑器是处理文本的工具。 就像趁手的兵器对武林高手的辅助作用一样, 强大的编辑器也会使编码工作事半功倍,趣味十足。 ...

lisp emacs 编辑器 elisp 解释器模式

何幻 发表了文章:

Emacs之魂(二):一分钟学会人界用法

发布时间:2017-10-31 13:48:26 浏览:1369 回帖 :0

上文提到了编辑器之战, 据江湖传说,Emacs被称为“神的编辑器”, Emacs有着无与伦比的可扩展性和可定制性,简直变成了一个“操作系统”。 使用Emacs你可以收发电子邮件, 编辑远程档案...

emacs 快捷键 编辑器 elisp

何幻 发表了文章:

Emacs之魂(三):列表,引用和求值策略

发布时间:2017-10-31 13:48:25 浏览:1127 回帖 :0

回顾 上文我们介绍了Emacs的用法,发现一分钟学会使用它并不是难事, 而且,我们没有让快捷键束缚住,因为Emacs的精髓在于Emacs Lisp中。 本文我们开始探讨Emacs Lisp,不过...

lisp emacs quote

何幻 发表了文章:

Emacs之魂(四):标识符,符号和变量

发布时间:2017-10-31 13:48:24 浏览:1120 回帖 :0

1. 符号 上文我们提到了Emacs Lisp是一种Lisp-2, 即同一个符号(symbol)在不同的上下文中,可以分别表示两种不同的值(value): 变量(variable)或者函数(fu...

lisp emacs 变量 动态绑定 静态绑定 符号

何幻 发表了文章:

Emacs之魂(五):变量的“指针”语义

发布时间:2017-10-31 13:48:22 浏览:891 回帖 :0

1. 语义学 在计算理论中,形式语义学是关注计算模式和程序设计语言含义的严格的数学研究领域。 语言的形式语义是用数学模型去表达该语言描述的可能计算来给出的。 提供程序设计语言形式语义的方法很...

lisp 指针 指称语义 语义学 操作语义 公理语义 代数语义

何幻 发表了文章:

Emacs之魂(六):宏与元编程

发布时间:2017-10-31 13:48:20 浏览:941 回帖 :0

数据和代码 如果说Lisp语言有一个特性最能使人津津乐道的话,我想应该是它的宏系统(macro system)了吧, 在Lisp语言中,程序和代码的表现形式(textual represent...

lisp emacs 元编程

何幻 发表了文章:

Emacs之魂(七):变量捕获与卫生宏

发布时间:2017-10-31 13:48:19 浏览:908 回帖 :0

回顾 上文我们介绍了宏,它与函数是不同的,函数调用发生在程序执行期间,函数在调用之前,会先对它所有的实参进行求值,然后将形参绑定到这些实参的求值结果上,函数的返回值会作为函数调用表达式的值,Li...

元编程 卫生宏 变量捕获

何幻 发表了文章:

Emacs之魂(八):反引用与嵌套反引用

发布时间:2017-10-31 13:48:18 浏览:864 回帖 :0

1. 反引用 上文我们介绍了如何使用defmacro定义宏, (defmacro inc (var) (list 'setq var (list '1+ var))) 我们定义了i...

quasiquote 嵌套反引用 反引用

何幻 发表了文章:

Emacs之魂(九):读取器宏

发布时间:2017-10-31 13:48:03 浏览:1578 回帖 :0

1. 编译器宏 Lisp源代码文本,首先经过读取器,得到了一系列语法对象, 这些语法对象,在宏展开阶段进行变换,最终由编译器/解释器继续处理。 以下我们使用defmacro定义了一个宏inc...

元编程 编译器宏 读取器宏

何幻 发表了文章:

递归函数(四):全函数与计算的可终止性

发布时间:2017-03-28 10:02:33 浏览:2522 回帖 :1

上文我们讨论了集合上的关系,还讨论了数学归纳法的一种普遍形式,称为良基归纳法, 它建立在集合上的良基关系之上。 本文开始讨论函数,我们将回顾函数的定义, 然后解释什么是全函数(total f...

指称语义 函数的完全性 计算的可终止性

何幻 发表了文章:

递归函数(七):不动点算子

发布时间:2017-03-28 10:02:32 浏览:2834 回帖 :1

以上几篇文章中,我们讨论了可计算性理论相关的一些内容, 可计算性与递归函数论存在着千丝万缕的联系, 不动点理论也是这样的,我们定义的递归函数一定存在吗? 在什么情况下它是存在的? 要回答以...

不动点 约束方程 Y组合子 不动点算子

何幻 发表了文章:

递归函数(六):最多有多少个程序

发布时间:2017-03-28 10:02:32 浏览:1980 回帖 :0

上一篇中,我们通过引入极小化算子定义了递归函数, 使用递归函数,我们又定义了递归集与递归可枚举集, 本文我们要讨论,为什么递归可枚举集是“可枚举”的,以及什么是可计算函数。

可计算性 通用程序 停机问题 可判定性

何幻 发表了文章:

递归函数(九):最小不动点定理

发布时间:2017-03-27 19:02:11 浏览:3795 回帖 :0

上文我们讨论了集合上的偏序结构,之所以谈论它们是因为, 完全偏序集上的连续函数具有最小不动点,这称之为最小不动点定理, 除了集合论的一些知识之外,我们还要讨论到底什么是连续函数,以及什么是完全偏序...

完全偏序 有向子集 连续函数 最小不动点定理

何幻 发表了文章:

递归函数(三):归纳原理

发布时间:2017-03-27 19:02:09 浏览:2625 回帖 :0

自然数归纳法,是一种数学证明方法,通常被用于证明某个给定命题在整个(或者局部)自然数范围内成立。 它可以用一个有限的方式写出一个无限的证明。 后续文章中我们会看到,这种用有限表示无限的方法,其实是...

关系 归纳法 集合论 良基归纳法

何幻 发表了文章:

递归函数(二):编写递归函数的思路和技巧

发布时间:2017-03-27 19:02:09 浏览:6573 回帖 :0

递归,是一个熟悉而陌生的概念,说它熟悉,是因为人们经常提起它, 而说它陌生,指的是人们在实际编程中几乎不会主动使用它。 给定一个问题,如果本质上它能看做一个调用自身的规模较小的一个子问题来求解...

递归 递归函数 递推关系式 数学归纳法

何幻 发表了文章:

递归函数(一):开篇

发布时间:2017-03-27 19:02:09 浏览:5215 回帖 :2

提到函数式编程,人们最多想到的可能是它的某些性质, 例如,不可变性,无副作用,惰性求值,类型推导,等等。 然而,这些性质可能并不是它能吸引粉丝的根本原因, 而是它从工业界触手可及的直接应用出发,...

函数式编程 计算机科学 数学 递归函数论 逻辑学

何幻 发表了文章:

递归函数(八):偏序结构

发布时间:2017-03-27 19:02:08 浏览:1955 回帖 :0

上一篇我们介绍了不动点算子和Y组合子,以及Y组合子的具体表现形式, 这一篇我们根据不动点算子的性质来证明`fact`函数就是`g`函数的不动点。 随后,我们回归到了数学中,讨论集合上的一种偏序结构...

不动点 偏序集 哈斯图 全序集 上确界

何幻 发表了文章:

递归函数(五):递归集与递归可枚举集

发布时间:2017-03-27 13:42:51 浏览:3429 回帖 :1

上文中我们讨论了全函数和部分函数,以及计算的可终止性。 本文我们从数论函数开始,给原始递归函数集增加一种新的运算,得到了一个更大的集合。 然后根据递归函数,我们可以定义递归集和递归可枚举集, 为...

递归可枚举集 递归集 极小化算子

何幻 发表了文章:

何幻 发表了文章:

柯里化的前生今世(八):尾调用与CPS

发布时间:2016-10-28 17:51:07 浏览:1361 回帖 :0

编程语言 lisp cps continuation call/cc

2
Programming is about ideas, languages are just a way to express them.

感兴趣or擅长的领域:

更多>
更多>
信鑫-king
信鑫-king
文章:0丨 粉丝:0丨 话题:0
新手站长网
新手站长网
文章:13丨 粉丝:1丨 话题:0
1403110534216162
1403110534216162
文章:0丨 粉丝:0丨 话题:0
zz2019
zz2019
文章:0丨 粉丝:2丨 话题:0
1893995221309512
1893995221309512
文章:0丨 粉丝:0丨 话题:0
1770450253481172
1770450253481172
文章:0丨 粉丝:0丨 话题:0