语言参考

本章节提供了 Lumos 编程语言的正式语法和语义定义。

章节索引

• 词法定义: 包含注释规范、字面量（数字、字符串）、标识符命名规则及符号。
• 语法核心: 详细描述变量声明、函数类型（def/fun/act）、控制流、类型系统及类与对象。
• 宏系统: 介绍 Lumos 的元编程能力，包括编译期配置、代码生成及正则表达式支持。

设计哲学摘要

Lumos 的语法设计遵循以下原则：

1. 明确性胜过隐晦: 副作用必须通过 act 和权限标记显式声明。
2. 安全但不设限: 提供 unsafe 作为逃生舱，但在常规代码中保持高度安全性。
3. 一致性: 统一的 val/var 声明风格与现代化的表达式语法。

核心概念

在开始深入阅读各子章节之前，建议先理解 Lumos 的三大核心支柱：

Purity (纯度)

在 Lumos 中，函数的纯度决定了它能做什么以及在哪里被调用。这不仅是程序员的标记，更是编译器的契约。

Permissions (权限)

权限系统（Effect System）是 Lumos 安全基石。通过 act[fs.read] 这种形式，程序的行为变得可审计、可限制。

Immutability (不可变性)

通过 val、imv 和 lit，Lumos 将“不可变”细分为逻辑、物理和编译期三个层次，以实现最优的性能表现。

---

若要查看具体的关键字列表，请参阅 关键字参考。