我一直在試圖利用程式語言的設計原理，設計一種超越「unix 哲學」的作業系統。這裡是我的設想：
我曾經以為我是第乙個想到這個做法的人。可是調查之後發現，很多人早就已經做出了類似的系統。lisp machine 似乎是其中最接近的乙個。oberon 是另外乙個。ibm system/38 是類似系統裡面最老的乙個。最近一些年出現的還有微軟的singularity，另外還有人試圖把 jvm 和 erlang vm 直接放到硬體上執行。
所以這篇文章的標題其實是錯的，這不是一種「新的作業系統設計」。它看起來是新的，只不過因為我們現在用的作業系統忘記了它們本該是什麼樣子。我也不該說它「超越了 unix 哲學」，而應該說，所謂的 unix 哲學其實是歷史的倒退。
讀王垠《一種新的作業系統設計》
我能理解的好處 當我們沒有計算機的時候，程式設計不是問題 當我們有計算機了以後，程式設計成了問題 當我們有了大型的計算機的時候，程式設計就成了巨大的問題。軟體開發的複雜度很高，這是問題固有的複雜度還是基礎設施的設計缺陷？數學是神的學科，計算機是人的學科 要區分固有的複雜和設計帶來的複雜並不容易。書同...
一種新的設計模式 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...