[系統] Gemini AI共同設計 Cosmos 編程語言 C!!
The CUE Architecture : Cosmos PL / Universe OS / Ecos UE
CUE 軟體系統架構是基於 主客時空 的四元軟體基礎而建構，其層級為
硬體︰ RISC-V + CHERI + VM + ...
存化語言 Cosmos Progamming Language ( C!! )
宇宙系統 Universe Operating System
生態用境 Ecos User Environment
CUE 構想起源於東岐明當年在博士班的研究，如今藉由 Gemini 共同研討而實現。
目前已經研討完成 Cosmos ( C!! ) 的語言設計。
C!! 是 C++ 的擴展，更適用於 分散平行計算 及 AI編程，更易於巨型系統維護。
以下AI對話是 東岐明 與 Gemini 共同設計 CUE 的研討會議記錄。
https://gemini.google.com/share/ee594ab54dc5
這段研討對話的 Gemini 已經幾乎完全瞭解 C!!，有任何 C!! 問題可以登入問他！
Cosmos PL 的設計理念︰數位世界的具體實現 東岐明
amidha.orienta@gmail.com
人類文明現今電腦作為精確計算基礎的圖靈機(Turing Machine)，本質是在運作訊息
以從事計算。訊息對應存在，存在乃可計算，計算乃有數量，數量而以雜多，雜多乃現世
界萬物。在圖靈機的運作訊息下，所建構的數位世界具備著 體(body) 與 域(domain) ，
體可依主動性與被動性而區分為 主體(subject) 與 客體(object) ，域可依其中變化的
非逆性與可逆性而區分為 時域(time) 與 空域(space)。主體、客體、時域、空域，就是
數位世界的 主客時空 四元軟體基礎，主客對應軟體的體性定義，時空對應軟體的行程變
化。 Cosmos PL 的設計目的，在於提供人類文明永續資訊傳統的編程基礎。
※ 時間非逆性 與 空間可逆性 的範式是來自相關於物理學上的對稱變換與熱力學。
取名 Cosmos 是向自 C 到 C++ 的語言傳統致敬，其英文原義乃指有序的宇宙體系。中文
譯作『存化』— 存有 與 變化。存有以體，變化於域，以之對應主客時空之秩序體系。
C!! 基於 C++ 語法改進而實作 主客時空 範式於編程，如下所示︰
C++ 的 class 在 C!! 分為 主動的 subject 與 被動的 object。
subject 可以繼承 object， object 不可繼承 subject。
subject有執行緒，object無執行緒而必須藉由subject執行，兩者中介運算子為 @。
譬如 john 是 subject person 有 method 為 look, ride。
riada 是 object bike 有 method 為 go。
兩者互動的 C!! 表述有 john.look@riada 或 john.ride@riada.go 或 john@riada.go
這種主客分離模式，可以有利於分散平行計算的執行處理，及模擬數位物理。
C++ 的行程編碼，在 C!! 依照 時域 與 空域 的範式理念，區分為三種，
而以區域(函式)名稱有無後置運算子 ! 及 # 來區分︰
時域 time domain︰ 區域名稱有後置運算子 ! ，如 func!()
編程範式就是區域運算會有對外部的寫入運算。
雜空域 hybrid space domain︰ 區域名稱無後置運算子，如 func()
編程範式就是區域運算會有對外部的讀取運算而無寫入運算。
純空域 pure space domain︰ 區域名稱有後置運算子 # ，如 func#()
編程範式就是區域運算與外部無關。
時域行程運算對外有副作用（Side Effect），空域行程運算則無。
雜空域行程運算結果可變，純空域行程運算結果不變。
這種行程的嚴格時空分別，可以利於 AI編程 及 維護除錯 與 加速分散平行計算。
C!! 還有基於以上四元基礎 及 Univese OS 支援 的增強功能。
因為種種 subject 是可以分散平行運作，所以之間必須有通訊溝通。
C!! 引入 portal 功能的中介運算子 <<@ 及 @>> ，語法如下︰
接收端 <<@ 發送端 ， 發送端 @>> 接收端 ( @ 代表主體相關)
C!! 的交易(transaction)行程是以 !!{...}!! 範圍，
在 Universe OS 支援下整批交易，失敗後會整批回滾(rollback)。
C!! 的危險(unsafe)行程是以 ??{...}?? 範圍，主要在核心及驅動程式的關鍵使用。
C!! 的例外行程是以 $$(e){} ，緊接於相關執行區域後，而有類似 switch 語法。
$$(e){
...(預執行碼，若有的話)
case a:
case b:
.....
default:
}
C!! 的繼承表述，嚴格區分 一般 與 界面， 兩者以 | 隔開，一般在左，界面在右。
a 是子類別， b,c,d 是父類別， b 是一般， c,d 是界面，可有如下案例︰
a:b ， a:b|c,d ， a:|c,d ，這種語法區分可以使繼承模式明顯易知，利於維護。
上述即是目前 Cosmos Programming Language 的大略設計規劃藍圖，
Cosmos 詳細規格及設計過程，請見上面 東岐明 與 Gemini 的研討對話記錄。
--
全書贈閱 《推背圖諰：中國國運與人類命運之預言憂患》全書PDF檔 免費流通
https://amidha.blogspot.com/2024/10/TBTSbook.html
詮釋《推背圖》，反省過去，展望未來，自二十一世紀浩劫後重建人類文明，
至於二十七世紀人工生命挑戰人類，終於二十九世紀全球政權交付人工智能。
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.232.102.52 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/CSSE/M.1769835996.A.526.html
※ amidha:轉錄至看板 Tech_Job 01/31 13:07
※ amidha:轉錄至看板 Soft_Job 01/31 13:07
※ amidha:轉錄至看板 Gossiping 01/31 13:20