重點學習:《電腦程式的構造與解釋sicp》
再學paul graham的《on lisp》和peter norvig的 《paradigms of artificial intelligence programming》會更理解。
1、學習方向:深入理解——自動定理證明 partial evaluation 和 supercompilation;
可以更好的理解martin lof type theory, linear logic,他們是等價的。
2、強大的型別系統:intersection types (system i) 缺點不實用
haskell和ml型別不過完美,system f過於複雜。
其它系統:如系統system f,mlf
3、符號執行與model checking(模型檢驗)可完成hoare logic(霍爾邏輯)和
separation logic(分離邏輯)的功能,實現歸併與簡化效果。
4、編譯原理,即虎書。
5、system f 可僅用乙個binder,簡化系統。
6、型別系統:ml系統上還有system f,fw,mlf,martin lof type theory,cic等,沒有實現統一。
7、friedman對靜態型別系統有深刻理解,核心邏輯語言minikanren的邏輯變數和unification(統一)的實現。
8、hm系統,與haskell和ml型別相同。
9、iu的dan friedman是函式式語言。
10、《geb》哥德爾艾舍爾** 《比例 — 科學·哲學·建築》 啟發性書籍
王垠推薦的一些Linux工具
shell bash。它結合了 csh 和 ksh 的優點,並且有 readline 功能,你可以隨意繫結自己的鍵盤。程式開發 gcc,make,ld,scheme48,j2sdk,perl,python,tcl tk 幻燈工具 latex,context 影象處理 imagemagick。其中的 ...
不要成為工具的奴隸
開發人員很容易迷戀上工具,因為工具通常比較實用,而且具備明確定義的行為,比起學習最佳實踐或方法,學習工具更為簡單。然而,工具僅僅為解決問題提供協助,他們並不能自行解決問題。一位理解問題實質的開發人員能夠使用工具提高生產率和質量,而拙劣的程式設計師從來不投入時間或精力去理解如何更好的程式設計和如何避免...
從內網滲透來理解dll劫持的工具
dll劫持 以前學過 但是並沒有注意過 但是這一天在web手的啟發下 發現 dll劫持在內網滲透裡面的許可權維持使用率還是挺高的,看來不能小看老技術啊 一開始我的想法是 修改exe 然後直接替換exe dll 查詢的順序就不說了 這裡就了解到三個工具 以及他們的思路 發現學習了不少 第乙個是 rat...