上一篇我们已经建好了lambda演算大厦的地基，接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了，比如自然数、布尔值、基本运算和布尔运算等等。 丘奇数(Chur...
发简信
IP属地：广东
-
λ演算(Lambda Calculus)入门基础（二）：丘奇编码(Church Encoding)
-
JavaScript调用栈、尾递归和手动优化调用栈（Call Stack） 调用栈（Call Stack）是一个基本的计算机概念，这里引入一个概念：栈帧。 栈帧是指为一个函数调用单独分配的那部分栈空间。 当运行的程序从...
-
Emacs Application FrameworkEmacs Application Framework 的折腾之路 用了Emacs将近13年了, Emacs的使用时间几乎等于我的编程生涯, 可以说这么多年的编程能力和专注力...
-
Emacs：我已经十年没有按过保存按键了（附带 auto-save.el 源码解析）
有些插件还是要传播一下的 很多VI党经常吐槽Emacs按键难按， 特别是保存一个文件还要别扭的按 Ctrl + x Ctrl + s, 其实这个世界上很多Emacs高手一般看...
-
RecyclerView系列之（2）：为RecyclerView添加分隔线就在昨天中午，我在简书上发布了我个人的第一篇技术文档:RecyclerView系列之： RecyclerView系列之（1）为RecyclerView添加Header和Foo...
-
Markdown更改图片大小1.使用简书自带的Markdown编辑器 原始图像:
