Typst 语言对 Shebang 语法的兼容性探讨

在脚本编程领域，Shebang（即 #! 开头的行）是一个广泛使用的约定，用于指定脚本的解释器路径。近期 Typst 社区就这一语法特性是否应该被支持展开了讨论，本文将从技术角度分析这一特性的可行性和实现方案。

Shebang 语法现状

目前 Typst 编译器会严格解析源代码文件，而 ! 字符在 Typst 语法中并非有效标记符。这意味着任何以 #! 开头的 Typst 文件在当前版本（0.11.1）都会导致编译错误。从技术实现角度看，这种限制反而为未来添加 Shebang 支持提供了可能，因为现有代码不会因此产生兼容性问题。

技术实现考量

支持 Shebang 需要编译器在解析阶段进行特殊处理。可行的实现方案包括：

1. 预处理阶段过滤：在正式解析前，检查文件首行是否为 Shebang 并跳过该行
2. 语法规则扩展：在语法解析器中添加特殊规则处理文件开头的 Shebang
3. 错误恢复机制：当遇到 #! 时作为特殊语法节点处理

从编译器设计角度看，第一种方案最为简单可靠，对现有架构影响最小。

临时解决方案

在官方支持前，开发者可以使用以下变通方法：

#let _ = ```typ
exec typst compile "$0"
⁠```

这种方法利用了 Typst 的原始字符串语法，将 Shebang 内容作为字符串常量处理，既实现了功能又避免了语法错误。需要注意的是，为确保可靠执行，建议通过显式调用shell来运行此类脚本（如 sh file.typ）。

语言设计思考

是否支持 Shebang 本质上反映了语言设计中的实用主义与纯粹性之争。从用户体验角度，支持这一广泛约定可以降低学习成本；从语言设计角度，则需要考虑语法的一致性和简洁性。Rust 等现代语言选择支持 Shebang，表明这一特性在实用场景中的价值。

对于 Typst 这样的文档编排语言而言，支持 Shebang 能够更好地融入自动化工作流，特别是在文档生成和持续集成等场景中。这一特性的实现成本较低而收益明显，值得考虑在未来的版本中加入。