跳转至

项目概览

Lumos 是一门面向系统级开发的实验性编程语言,目标是把“可控性”和“清晰性”放在第一位,同时保持现代语言的表达力。

设计支柱

  • 纯度分级def/fun/act 让副作用路径显式可见。
  • 权限系统:所有副作用都需要权限声明,便于审计与静态分析。
  • 不可变性分层val/imv/lit 将“不可变”拆分为逻辑、物理、编译期三层。
  • 语法一致性:尽量减少隐式规则,让读者直观推导行为。

适用场景

  • 需要精确控制副作用路径的系统软件。
  • 需要对性能与安全同时敏感的基础设施组件。
  • 需要清晰可审计的模块边界与权限边界。

推荐入口

  • 语言总览:docs/overview.md
  • 语言参考入口:docs/language.md
  • 语法与词法:docs/grammar/index.mddocs/lexical/index.md

相关内容:项目概览见 概览