上一篇我們已經建好了lambda演算大廈的地基，接下來需要了解的就是如何在此基礎上構造用于計算的一些通用工具了，比如自然數、布爾值、基本運算和布爾運算等等。 丘奇數(Chur...
發(fā)簡信
IP屬地：廣東
-
λ演算(Lambda Calculus)入門基礎（二）：丘奇編碼(Church Encoding)
-
JavaScript調用棧、尾遞歸和手動優(yōu)化調用棧（Call Stack） 調用棧（Call Stack）是一個基本的計算機概念，這里引入一個概念：棧幀。 棧幀是指為一個函數調用單獨分配的那部分?？臻g。 當運行的程序從...
-
Emacs Application FrameworkEmacs Application Framework 的折騰之路 用了Emacs將近13年了, Emacs的使用時間幾乎等于我的編程生涯, 可以說這么多年的編程能力和專注力...
-
Emacs：我已經十年沒有按過保存按鍵了（附帶 auto-save.el 源碼解析）
有些插件還是要傳播一下的 很多VI黨經常吐槽Emacs按鍵難按， 特別是保存一個文件還要別扭的按 Ctrl + x Ctrl + s, 其實這個世界上很多Emacs高手一般看...
-
RecyclerView系列之（2）：為RecyclerView添加分隔線就在昨天中午，我在簡書上發(fā)布了我個人的第一篇技術文檔:RecyclerView系列之： RecyclerView系列之（1）為RecyclerView添加Header和Foo...
-
Markdown更改圖片大小1.使用簡書自帶的Markdown編輯器 原始圖像:
