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