#moonim

当前版本 v0.2.1：69 个测试全过、全目标 check 零警告，示例与浏览器 playground 可运行。目标规模与边界见下文「功能边界」一节。

#快速开始

# 安装 MoonBit 工具链（https://www.moonbitlang.com/download）
curl -fsSL https://cli.moonbitlang.com/install/unix.sh | bash

moon check --target all   # 检查（全目标）
moon test                 # 运行测试（69 个用例）
moon run examples/morph   # 示例一：圆变方动画，输出 SVG 帧序列
moon run examples/formula # 示例二：排版 \frac{x^2}{2} 并输出 SVG
moon run examples/texmorph # 示例三：公式 x^2 ↔ \frac{x^2}{2} 部件匹配变形

moon run examples/morph > frames.txt

#模块结构

#浏览器 playground

moon build --target js playground   # 产出 _build/js/debug/build/playground/playground.js
python3 -m http.server              # 在仓库根目录启动静态服务
# 打开 http://localhost:8000/playground/

let circle = @mobject.Mobject::vmobject(
  @geom.Path::circle(@math.Vec2::new(200.0, 100.0), 100.0),
)
let square = @mobject.Mobject::vmobject(
  @geom.Path::rect(@math.Vec2::new(100.0, 0.0), 200.0, 200.0),
)
let scene = @anim.Scene::new()
scene.add_layer(
  @anim.Layer::new(circle, [
    @anim.Animation::transform_to(square, duration=2.0),
  ]),
)
let svg = @svg.render_svg(scene.render_at(1.0)) // t = 1.0s 处的一帧

#功能边界

• 三次贝塞尔求值 / 分割 / 弧长近似，路径扁平化与仿射变换；
• 简单多边形（单环、无洞）三角化与基础描边展开；
• 场景图递归变换、边界框计算；
• 纯函数式动画时间轴：render_at(t) 无内部状态，可任意 seek；
• 结构化插值 morph：任意两条路径经 Path::align 点数对齐后点对点变形；
• 坐标系与函数图像：axes / number_line（刻度 + MiniTex 数字标签）、 plot 函数采样成路径、line / arrow 构造器；
• 注意力引导族：indicate（缩放+变色脉冲）/ circumscribe（圈注）/ flash（辐射闪光）/ focus_on（聚焦），以及 fade_in_and_shift / fade_out_and_shift / spin_in_from_nothing / add_lagged 错峰 / count 数字滚动；
• 部件匹配变形 transform_matching：符号标签 / 形状自动配对 + 孤儿淡化， 支持公式 A → 公式 B 的灵活变换（见 design.md §3.1）；
• manimlib 速率函数族：smooth / rush_into / rush_from / slow_into / there_and_back(_with_pause) / wiggle / squish / lingering / exponential_decay；
• 淡入淡出 / 生长 / 旋转原语：fade_in / fade_out / fade_in_from_point / fade_out_to_point / fade_to_color / grow_from_center / grow_from_point / shrink_to_center / scale_in_place / rotate；
• 弧长创建族原语（Path::trim 按弧长裁剪为使能件）：show_creation （Write：描边渐显，公式按字形顺序书写）/ unwrite（反向擦除）/ move_along_path（沿路径运动）/ Path::to_dashed（虚线化）；
• 公式子集排版：普通字符、{...} 分组、\frac、^、_、常用希腊字母命令； 字形为内嵌 Latin Modern 轮廓子集（82 字形，子集外字符回退占位盒）；
• SVG 后端：任意时刻场景 → 独立 SVG 文档。

• OpenGL / 实时窗口预览；
• 完整 LaTeX（计划经 MicroTeX FFI 接入 FormulaRenderer trait，上游零改动）;
• 完整字形覆盖（当前为内嵌 Latin Modern 子集，子集外字符回退占位盒； 扩充方式见 docs/porting.md）；
• 音频、3D、复杂文本 shaping、路径布尔运算；
• 带洞多边形三角化、earcut 的 z-order 哈希优化（见 docs/porting.md）。

#设计文档

• docs/design.md — 架构决策：场景图 ADT、动画代数、缓存层、 公式渲染扩展点，以及各项"刻意推迟"的理由。
• docs/porting.md — earcut 移植声明（原项目、许可证、范围与偏差）。

#开发

moon fmt              # 格式化
moon check            # 类型检查
moon test             # 白盒测试（各包 *_wbtest.mbt）
moon info             # 生成 .mbti 公共接口文件

#许可证