在 this.me 中,你的“句子”不是线性字符串,而是进入空间的序列。
发布: (2025年12月4日 GMT+8 13:58)
3 min read
原文: Dev.to
Source: Dev.to
概览
这是一种“上下文 → 空间 → 导航”语言。
你通过建立上下文“进入空间”,随后在其中进行导航。
排序规则
- 上下文移动(如
@、_、~)类似于更改坐标系/进入加密子空间。 - 一旦进入框架,导航就有意义,并且可以是非线性的(集合式/组合式)。
类形式的思维模型
将 ME 看作一种上下文代数:
- 状态: 短期记忆(STM)、索引、
encryptedBranches、localSecrets/localNoises、运行时框架 - 上下文: 当前的“框架”(身份焦点、
effectiveSecret、当前指针目标等) - 导航: 在当前上下文下的路径组合
操作符类别
你可以根据它们构建的上下文类型对操作符进行分组。
身份/上下文焦点操作符
@聚焦身份引用(在表达式中可能有多个)- 生成/更新身份框架,但不一定持久化任何内容
秘密/隐私框架操作符
_建立/加载由秘密派生的框架(effectiveSecret)- 不必针对特定身份;它是通用的“加密透镜”
噪声/重新根化操作符
~重置继承/为后续的秘密派生创建新根
指针/别名框架操作符
__或->创建符号链接框架(绑定__ptr)
派生操作符
=在当前上下文下定义派生值(可能延迟求值)
查询/集合操作符
?在当前上下文下返回挑选/收集函数
删除操作符
-在当前上下文下标记删除/移除值
需要写入公理的内容
@创建一个身份焦点的 Thought 并更新活动身份框架。_创建/加载秘密框架,并使选定的根隐蔽。~更改effectiveSecret的血统。__绑定指针框架,使__ptr.*派生有意义。
公理应当是 结构 + 框架不变式,而非应用策略验证。
