[系統] Gemini AI共同設計 Cosmos 編程語言 C!!

看板CSSE (電腦科學及軟體工程)作者amidha (東岐明)時間3小時前 (2026/01/31 13:06)推噓0(0推 0噓 0→)

留言0則, 0人參與討論串1/1

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