用 FRM 编写分形公式

FractalPark 会对明确限定的 FRM 子集进行词法分析、解析、校验和编译。下表区分可直接使用的语法、采用 FractalPark 语义的写法，以及当前工作流无法保真的内容。

FractalPark FRM 由一个具名公式声明和三个明确区段组成，它们共同定义每个像素对应的状态迭代过程。

这些区段名是语法结构而非注释；缺少或拼错任何一个都会产生诊断信息。

这门语言有意保持精简：表达式描述复数运算，语句更新轨道状态，控制流则从不同更新方式中做出选择。

声明与区段

用大括号包住一个具名公式，并依次编写 init:、loop: 和 bailout:。

数值与变量

可以使用 0.15 这样的实数、(0.05, -0.02) 这样的复数对、内置轨道值，或自行赋值的变量。

表达式

可以组合算术、乘方、比较、逻辑、单目运算、|z| 模长语法，以及经过测试的复函数。

控制流

当轨道更新取决于条件时，可使用 if、elseif、else 和 endif；所有分支块必须完整闭合。

内置名称

核心名称包括 z、c、pixel、zPrev、p1–p5、pi、e、maxit、ismand、fn1–fn4，以及编译器测试覆盖的函数。

注释与指令

分号注释用于说明源码。已识别的 @ 指令配置 FractalPark native 行为；未知指令不会被静默忽略。

FractalPark 不会把 FRM 文本直接拼入着色器，而是让源码经过分阶段编译，从而保持语法、语义、生成代码和诊断之间的对应关系。

1. 1

   FRM 源码

   来自编辑器、粘贴或本地文件的原始文本，是编译流程的权威输入。

2. 2

   词法单元

   词法分析器识别名称、数字、运算符、区段标记、注释和指令，同时保留源码位置。

3. 3

   解析后的 AST

   解析器构建结构化公式树，并报告格式错误的声明、表达式和控制流块。

4. 4

   校验与规范形式

   校验器检查名称、类型、区段和受支持语义，通过后才建立规范化公式。

5. 5

   GLSL 与源码映射

   代码生成器输出着色器函数，并记录生成 GLSL 到原始 FRM 位置的映射。

6. 6

   公式插件

   编译成功后，公式会转成渲染器和着色器组装系统共同使用的标准插件契约。

三个示例从最小二次公式逐步扩展到参数和状态反馈。每段源码都直接读取共享示例注册表，并在测试中实际编译。

StarterBrot {
init:
  z = 0
loop:
  z = z^2 + c
bailout:
  |z| < 4
}

ParameterDrift {
init:
  z = 0
loop:
  z = z^2 + c + p1 * 0.15 + p2 * (0.05, -0.02)
bailout:
  cabs(z) < 8
}

OrbitEcho {
init:
  z = pixel
loop:
  z = sqr(z) + zPrev * (0.30, -0.12) + pixel * (0.85, 0.0)
bailout:
  |z| < 48
}

FRM 编辑器通过稳定 ID 打开这些同样经过编译检查的示例。保存到云端公式库之前，公式源码只保留在当前标签页中，绝不会嵌入 URL。

编译会在最早出现不安全状态的阶段停止，并提供面向源码的错误信息。被拒绝的语法不会被改写成一个只是看起来相似的结果。

修复错误时应从第一条信息开始；后续诊断往往只是同一个缺失符号或无效表达式引发的连锁结果。

你写的公式默认是私有的，除非你明确选择分享。公式有三种流转方式——每一种都由你显式触发，没有静默发生。

• 默认私有

  公式保存在你的云端库中，仅自己可见。保存的作品会把公式源码副本存进草稿里，所以作品打开时永远是你离开时的样子。

• 下载 .frm 文件

  你的公式是纯文本。随时从「我的公式」下载，自己留一份——不需要导出申请，不需要等待。

• 发布作品，分享源码

  发布使用了自定义公式的作品，会以 MIT 许可证公开公式源码：任何人都可以阅读、复制并在其上继续创作。社区页面会展示来自元数据的公式名，并提供源码下载。对已发布的作品而言，这一步不可撤销。

完整的 MIT 许可证文本见 opensource.org。