项目概览¶
Lumos 是一门面向系统级开发的实验性编程语言,目标是把“可控性”和“清晰性”放在第一位,同时保持现代语言的表达力。
设计支柱¶
- 纯度分级:
def/fun/act让副作用路径显式可见。 - 权限系统:所有副作用都需要权限声明,便于审计与静态分析。
- 不可变性分层:
val/imv/lit将“不可变”拆分为逻辑、物理、编译期三层。 - 语法一致性:尽量减少隐式规则,让读者直观推导行为。
适用场景¶
- 需要精确控制副作用路径的系统软件。
- 需要对性能与安全同时敏感的基础设施组件。
- 需要清晰可审计的模块边界与权限边界。
推荐入口¶
- 语言总览:
docs/overview.md - 语言参考入口:
docs/language.md - 语法与词法:
docs/grammar/index.md、docs/lexical/index.md
相关内容:项目概览见 概览。