※ [本文转录自 CSSE 看板 #1fVOtSKc ] 作者: amidha (东岐明) 看板: CSSE 标题: [系统] Gemini AI共同设计 Cosmos 编程语言 C!! 时间: Sat Jan 31 13:06:26 2026 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 的设计理念︰数位世界的具体实现 东岐明 [email protected] 人类文明现今电脑作为精确计算基础的图灵机(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 或 [email protected] 或 [email protected] 这种主客分离模式，可以有利於分散平行计算的执行处理，及模拟数位物理。 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://webptt.com/cn.aspx?n=bbs/CSSE/M.1769835996.A.526.html

※ 发信站: 批踢踢实业坊(ptt.cc) ※ 转录者: amidha (118.232.102.52 台湾), 01/31/2026 13:07:34 问题是这样的！如果连范式检验都不能通过研讨，怎麽可以去完整写出来能跑的系统呢？ ※ 编辑: amidha (118.232.102.52 台湾), 02/01/2026 13:08:23