ExactTeX：让 LaTeX 拥有类型检查

ExactTex. A gradually-typed superset of LaTeX

ExactTeX 是一个为 LaTeX 引入渐进式类型系统的超集。它允许用户在保留原有 .tex 文件兼容性的同时，通过添加少量注解来获得引用检查、安全重命名和错误提示。与传统 LaTeX 不同，ExactTeX 能在生成 PDF 之前就发现引用错误，并用用户自定义的命名来报告问题。该项目由 Rust 编写，零依赖，支持 WebAssembly 在浏览器中运行，并提供了 LSP 支持。通过渐进式类型系统，用户可以选择性地对文档进行注解，未注解部分仍作为普通 LaTeX 处理，确保了平滑的迁移路径。