2. 引论与愿景
3. 1. Flurry: 一个编程语言
4. 2. 快速入门
6. 核心语言特性
7. 3. 基础语法与数据类型
8. 1. 3.1. 词法结构
   2. 3.2. 字面量详解
   3. 3.3. 基本数据类型
   4. 3.4. 符号
9. 4. 变量、所有权与资源管理
10. 1. 4.1. 声明与绑定
    2. 4.2. 仿射类型与移动语义
    3. 4.3. 引用与借用
    4. 4.4. 资源管理与 Drop
    5. 4.5. 引用有效性：可达性与副作用
11. 5. 表达式与运算符
12. 1. 5.1. 常用运算符
    2. 5.2. 后缀风格与链式调用
    3. 5.3. 取像操作 (expr ' image)
13. 6. 基本控制流
14. 1. 6.1. 条件语句 (if, when)
    2. 6.2. 循环语句 (for, while)
    3. 6.3. 控制转移 (break, continue, return)
15. 7. 函数
16. 1. 7.1. 定义与调用
    2. 7.2. 参数详解
    3. 7.3. 返回值与错误处理 (!)
17. 8. 数据结构
18. 1. 8.1. 结构体 (Structs)
    2. 8.2. 枚举 (Enums)
    3. 1. 8.2.1. 层级化与融合
       2. 8.2.2. 枚举属性
       3. 8.2.3. Tagged Polymorphism
    4. 8.3. 联合体 (Unions)
    5. 8.4. 数组与切片 (Arrays & Slices)
    6. 8.5. 元组 (Tuples)
    7. 8.6. 模块 (Modules as Types)
    8. 8.7. Newtypes
19. 9. 模式匹配
20. 1. 9.1. 模式语法
    2. 9.2. 匹配控制流 (match, if is, while is)
21. 10. Trait 与多态
22. 1. 10.1. Trait 定义与实现 (impl, derive)
    2. 10.2. 扩展 (extend) 与字面量拓展
    3. 10.3. 动态多态 (dyn Trait vs tagged_polymorphic)
    4. 10.4. 组合与委托 (using)
24. 高级特性与元编程
25. 11. 编译时计算 (comptime)
26. 12. 类型谓词 (type predicate)
27. 13. 代数效应 (Algebraic Effects)
28. 14. 宏系统 (macros)
29. 15. 错误处理机制
30. 16. 模块系统与包管理
31. 1. 16.1. 模块定义与组织 (mod, mod file)
    2. 16.2. 导入 (use)
    3. 16.3. 包与 package.fl
32. 17. 属性系统 (Attributes)
33. 1. 17.1. 语法 (^expr, .symbol)
    2. 17.2. 编译时配置与反射
    3. 17.3. 库扩展应用
35. 形式化验证与安全
36. 18. Flurry 的安全哲学
37. 19. safe Flurry 的保证
38. 1. 19.1. 仿射类型与可达性系统回顾
39. 20. unsafe Flurry
40. 1. 20.1. 必要性与风险
    2. 20.2. 验证 unsafe 代码
41. 21. verified Flurry: 形式化验证
42. 1. 21.1. 目标与方法 (ML, RL, OSL)
    2. 21.2. 规范与工作流程
44. 深入主题与未来
45. 22. 并发与并行
46. 23. 与外部代码交互 (FFI)
47. 24. 语言设计原理与权衡
48. 25. 未来展望与社区参与
50. 附录
51. 26. 语法速查表
52. 27. 关键字参考
53. 28. 内置属性参考
54. 29. 内置 "像" 参考
55. 30. 词汇表