作者amidha (东岐明)
看板Soft_Job
标题Fw: [系统] Gemini AI共同设计 Cosmos 编程语言 C!!
时间Sat Jan 31 13:07:52 2026
※ [本文转录自 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
※ amidha:转录至看板 Tech_Job 01/31 13:07
※ 发信站: 批踢踢实业坊(ptt.cc)
※ 转录者: amidha (118.232.102.52 台湾), 01/31/2026 13:07:52
1F:嘘 sarsman: 自肥废文 01/31 14:02
2F:嘘 MoonCode: !! = =!! 01/31 15:17
3F:→ kuope: 到底在讲什麽? 01/31 18:57
4F:→ zxc8787: 啊这个要怎麽念 C!! 01/31 22:18