如其在頂（_），如其在底（_|_）;
如其在全集之虛空,如其在原子之真實。
以成那唯一之奇蹟 —— 收斂。
宇宙皆 Combo,欄位即可能之源,原子即存在之果。
交集以純化真理,聯集以展開萬物。
銜尾蛇自吞其尾:其父為定義,其母為收斂。
其力在於:若它能被觀測,它便已是真實。
傳統上你用 YAML 寫設定、TypeScript 寫型別、Python 寫驗證。n/ 把三者透過一個共通結構(Combo)映射到「格」上,再用單一運算 —— 集合交集(&)—— 驅動全部。
;; 存在
age: 25 ;; 約束,非註記
25 & @int ;; → 25
"hi" & @int
;; → _|_ ;; 態射與管道
/double: x -> x * 2
5 |> /double |> /inc
;; → 11 ;; 收斂:約束重疊,剩下唯一的形狀
{ x: 1 } & { y: 2 } ;; → { x: 1, y: 2 }
(1 | 7) & 1..3 ;; → 1
1..10 & 5..20 ;; → 5..10 _|_ —— 一個帶著 %cause 因果標記的空集。錯誤在 n/ 裡不是例外,而是邏輯的空集合。n/ 橫跨計算、數學、物理。選一個角度進入,深度自己決定。
Combo 與 Cocoon、交集 & 與聯集 |、態射與管道、Top _ 與 Bottom _|_。語言的完整語法與哲學。
CAID 內容定址、氣味搜尋、語義引力。一個「自帶語義理解」的去中心化發現網路 —— 指紋在下載之前就能感知彼此的距離。
閱讀協議 →參考引擎 oo —— 一個惰性、call-by-observation 的直譯器。run / repl / fmt / lint。從這裡開始跑第一支 n/ 程式。
上同調障礙階梯:把型別衝突、拜占庭錯誤、身分捏造讀成同一台幾何機器的不同階。22 篇論文 + 白皮書 Paper N。
在 n/ 中,沒有單一視角能握住全部真理 —— 這是一條定理,不是口號。你一個人看不見的,眾人的視角交集會收斂出來。引導期的治理以 GitHub 為物理實體,由四人委員會維護。
審核規格與文檔的語義一致性(nlang-spec)。
負責 oo 引擎的實作與技術合規(nlang-tools)。
違反不變性的提案可被否決,行使須附邏輯證明。