我能理解的好處：
當我們沒有計算機的時候，程式設計不是問題；當我們有計算機了以後，程式設計成了問題；當我們有了大型的計算機的時候，程式設計就成了巨大的問題。軟體開發的複雜度很高，這是問題固有的複雜度還是基礎設施的設計缺陷？「數學是神的學科，計算機是人的學科」，要區分固有的複雜和設計帶來的複雜並不容易。
「書同文，車同軌」，統一帶來效率。如果新一代作業系統能整合：
就能將作業系統和資料庫管理系統整合在一起！
未來的程式設計，程式設計師只需要面向為數不多的幾個（最好是乙個）邏輯結構程式設計——不用考慮儲存結構，集中精力在抽象表示式樹的正確性上。未來的程式設計原則會認為，使用指標是邏輯層向物理層的僭越，效能優化完全針對直譯器，和抽象表示式樹無關。
總之，電腦程式的構造和解釋應該徹底解耦合。
王垠系列 一種新的作業系統設計
我一直在試圖利用程式語言的設計原理，設計一種超越 unix 哲學 的作業系統。這裡是我的設想 我曾經以為我是第乙個想到這個做法的人。可是調查之後發現，很多人早就已經做出了類似的系統。lisp machine 似乎是其中最接近的乙個。oberon 是另外乙個。ibm system 38 是類似系統裡面...
一種新的設計模式 newtype
概述 設計模式是在編寫 時在各種不同情況下出現的模式。在本文中，我將討論 newtype 設計模式。具體來說，我將以 rust 程式語言為背景來討論它，以及如何解決在 rust 中使用 newtype 模式時出現的一些問題。rust 的設計模式 程式設計設計模式是指在編寫 時在各種不同情況下出現的模...
一種新的 RESTful 許可權設計討論
根據restful的相關風格規範,我們將請求對映為以下幾種操作 get users list.users get users id retrieve.users post users create.users put users id password replace.users patch use...