上一篇我们已经建好了lambda演算大厦的地基，接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了，比如自然数、布尔值、基本运算和布尔运算等等。 丘奇数(Chur...
发简信
-
λ演算(Lambda Calculus)入门基础（二）：丘奇编码(Church Encoding)
-
便宜有好货：五把性价比高的电吉他撰文：孙大猴 性价比从来都是被吉他收藏家，老炮们最摒弃的一个词。 一把Epiphone量产标准现在售价2500元左右，无论是哪产的，哪年的，一把一把调，和Gibson售价三，...
-
JavaScript调用栈、尾递归和手动优化调用栈（Call Stack） 调用栈（Call Stack）是一个基本的计算机概念，这里引入一个概念：栈帧。 栈帧是指为一个函数调用单独分配的那部分栈空间。 当运行的程序从...
-
Emacs Application FrameworkEmacs Application Framework 的折腾之路 用了Emacs将近13年了, Emacs的使用时间几乎等于我的编程生涯, 可以说这么多年的编程能力和专注力...
-
Emacs：我已经十年没有按过保存按键了（附带 auto-save.el 源码解析）
有些插件还是要传播一下的 很多VI党经常吐槽Emacs按键难按， 特别是保存一个文件还要别扭的按 Ctrl + x Ctrl + s, 其实这个世界上很多Emacs高手一般看...
-
Android流行UI布局——底部导航（BottomNavigationView+ViewPager+Fragment）前言：Android端采用底部导航栏的APP非常多，比如微信、微博、支付宝...等等，这也不能说是盲目学习iOS，毕竟好东西大家都可以用，各家操作系统也都在博采众长，互相学习...
-
RecyclerView系列之（2）：为RecyclerView添加分隔线就在昨天中午，我在简书上发布了我个人的第一篇技术文档:RecyclerView系列之： RecyclerView系列之（1）为RecyclerView添加Header和Foo...
-
Markdown更改图片大小1.使用简书自带的Markdown编辑器 原始图像:
