Files
Endorphin-Document/appendices/glossary.md

8.8 KiB
Raw Permalink Blame History

术语表

术语 定义 详见
Endorphin 用统一声明与调用模型描述前后端应用的云原生编程语言 语言概览
用户账号 用于登录、判断操作身份与记录作者的用户身份;不作为资源 key 前缀 用户身份与 workspace 权限
Workspace 显示名 用于界面展示、可重复的 workspace 名称 Workspace handle 与显示名
归属 workspace namespace key 指定的资源所属 workspace 归属与操作身份
操作用户 发起本次读取、修改或执行的身份 用户身份
workspace 整体资源归属、协作与授权边界,内部通过 namespace 组织资源 Workspace 与平台用户系统
workspace handle 在平台内唯一定位 workspace 的名称,作为 key 冒号前的部分 Workspace handle 与显示名
r/w/x 读取、编辑资源与使用程序的操作类别;业务写入不自动要求调用者拥有编辑权 操作分工
workspace 角色 在 workspace 范围授予常用权限组合与管理能力的成员角色 Workspace 角色与授权
代码可视域 声明可在什么程序位置被引用的范围,区别于平台用户权限 平台权限与代码可视域
namespace workspace 内部的命名、组织与检索单位;成员入口指向资源 ID namespace
namespace key workspace handle 与非空 namespace 路径组成的定位标识 namespace
代码段 独立存储、具有明确归属的代码内容单位 代码存储与视图
可见代码视图 由索引成员关系获得的 namespace 逻辑代码集合 代码存储与视图
use 引用完整 namespace key 的声明 程序结构与导入
Preflight 定义准备与检查阶段;定义生命周期覆盖创建、准备、持续可引用、更新与退出 Preflight 与 inflight
inflight 实际执行阶段;运行时生命周期覆盖调用、实例、任务及保存的运行状态 Preflight 与 inflight
REPL 持续接收输入、检查并求值、呈现结果的交互式会话;Endorphin 的会话及控制行为为设计提案 交互式会话(REPL)
基础常量资源 数值、文本、媒体和 GIS 等不可原地修改的基础内容 资源、类型与类
统一数值 不按整数位宽或浮点编码分型的数值类别;本文暂用 Number 命名 资源、类型与类
格式归一化 接受的媒体和 GIS 格式导入后转写为内部标准格式,导出时再编码 资源、类型与类
类型 描述资源或值的结构及其允许用法的定义 资源、类型与类
Object 没有父类型的继承根;自身是 Type 的实例,平台按具体类型管理对象生命周期 Object
平台对象 由平台识别、管理和存储的对象;描述已有 Object 模型的管理方式,不另设基础类型 跨端对象与同步
本地副本 执行端为远程对象准备的类型化本地表示,保存已取得的数据及目标身份关联 跨端对象与同步
同步关联 将对象后续变化通过网络传递到本地副本的持续关系,不保证多端瞬时一致 跨端对象与同步
Type 类型对象的实例类型;自身也是 Type 的实例,并继承 Object Type
实例化线 对象与其直接实例类型的关系,以 x ∈ T 表示;类型自身也是对象 实例化线
继承线 子类型与父类型的关系,以 A ⊆ B 表示,区别于对象的实例类型关系 继承线
atom 对象可独立识别、保存和引用的资源单元,允许由其他对象组合而成 Object、atom 与资源 ID
类型系统 在 Object 基础上约束成员、容器、引用和定义,组织高级结构及能力关系的规则体系 Object 与类型系统
顶级类型 平台原生支持的对象类型;Object 提供共同基础,其他类型规定具体结构及行为 Object 与类型系统
资源 ID 独立于 workspace、namespace 命名入口的逻辑资源身份 资源引用
trait 构造可显式实现与组合的能力定义对象的入口,自身也是对象;Trait 为能力定义的类型候选 trait、Trait
Function 平台原生的可调用代码类型,可扩展函数行为和生命周期;具体语法待定 Function
类型身份 由具体类型声明确定的身份;成员相同不自动使不同声明兼容 类型身份与兼容
class 构造具有名义身份的类型对象的入口,自身也是对象;构造的类型组织字段与成员函数 class
表达式 描述计算并产生值的源码形式 表达式与绑定
绑定 将表达式结果关联到局部名称 表达式与绑定
变量 可改变目标的资源引用;具体声明和赋值形式待定 变量与资源引用
函数 定义输入、结果和执行逻辑的可调用声明 函数与调用
数据依赖 后续计算需要前一计算结果的关系 函数与调用
Agent、agent Agent 为运行对象类型;agent 为具体类型对象的构造入口,二者都属于对象体系 Agent
tool 关联为模型可选能力的函数,可以是外部引用或内部成员函数 Tools 与逻辑实现
memory 信息保留与恢复的职责,包含会话记忆、检查点和长期记忆 Memory 与保存恢复
state 当前业务及执行状态,可用于有限状态机与条件路由 State、有限状态机与路由
执行检查点 保存恢复任务所需的状态、位置和待处理操作的运行时数据 Memory 与保存恢复
人工在环 在指定操作前暂停,等待人类确认或修改后再恢复 人工在环与中断
资源访问 定位并查看 namespace、声明或结果,或在输入就绪后发起调用的客户端行为 资源访问与呈现
按类型呈现 客户端依据当前资源或结果的类型选择处理方式;顶级类型及契约待定 资源访问与呈现
可渲染值 可由客户端作为界面呈现的结果值;正式类型及构造形式待定 资源访问与呈现
hook 关联触发或订阅及持续更新的关系;源码形式和生命周期边界待定 资源访问与呈现
符号字面量 以点号和标识符表达的命名值,如 .title 词法结构

目录