簡單易懂的程序語言入門小冊子（4）：基於文本替換的解釋器，遞歸，如何構造遞歸函數，Y組合子
遞歸。哦，遞歸。 遞歸在計算機科學中的重要性不言而喻。 遞歸就像女人，即令人煩惱，又無法拋棄。 先上個例子，這個例子里的函數double輸入一個非負整數$n$，輸出$2n$。 \[ {double} = \lambda n.({if} \; ({iszero} \; n ...
原文：簡單易懂的程序語言入門小冊子（1）：基於文本替換的解釋器，lambda演算
最近比較閑，打算整理一下之前學習的關於程序語言的知識。主要的內容其實就是一邊設計程序語言一邊寫解釋器實現它。這些知識基本上來自Programming Languages and Lambda Calculi和Essentials of Programming Languages這兩本書。 我還記得高中奧數競賽培訓時的老師這樣說過： 解題時一定要抓住定義。 編程和解題一樣，也要抓住定義。 所以在寫解 ...
2014-04-17 11:29 5 2881 推薦指數：
相關推薦
打印小冊子
將A4紙打印成小冊子： 一.將文件按照A5紙大小排好版。 二.將文件輸出為PDF格式（需安裝Adobe Acrobat 8 Professional）。 1）.打開轉換后的PDF文件，設置“打印”選項，在頁面縮放方式里選擇“小冊子打印”，由於我們需要打印成雙面A5頁面的小冊子 ...
Java 創建PDF打印小冊子
概述 PDF打印小冊子是指將PDF格式文檔在打印成刊物前需要提前進行的頁面排版，以便在打印后裝訂成冊。下面以Java代碼展示如何來實現。這里調用Free Spire.PDF for Java中的PdfDocument. createBooklet(java.lang.String ...
lambda演算入門
介紹如何進行簡單lambda演算的計算（規約）：形如下面這樣的題目： intro https://www.jianshu.com/p/ebae04e1e47c 這一篇很清晰，基本涵蓋了本文的內容。 可跳過本節，基本對做題沒幫助 關鍵字 小寫單字符用以命名參數，也叫變量（數學含義 ...
node 文本替換
音樂分享： Travis Scott - 《Drugs You Should Try It》 Travis Scott今年無論是單曲、球鞋市場、八卦戀情 熱度就沒停過,前兩天又出了廠牌聯合專輯《 ...
python文本替換
...
[分享]正則文本替換器(已開源)
正則表達式的替換問題 正則表達式，功能很強大，很多稍微專業點的編輯器都提供正則搜索，但在替換功能上，最多提供一個對捕獲組的引用（用“\n”來代碼第n個捕獲組），很多功能都無法實現，要么敲代碼，寫一個特定程序來完成，要么直接手動修改，簡單重復。比如下面的場景。 3*4=?-6*12 ...
【Linux】awk文本替換
awk用法之：文本替換 awk的sub/gsub函數用來替換字符串，其語法格式是： sub(/regexp/, replacement, target) 注意第三個參數target，如果忽略則使用$0作為參數，即整行文本。 例子1：替換單個串 只把每行 ...