Zig做HTML模板，类型安全能救前端吗？

写HTML模板为什么要跟类型系统较劲？我最近翻到一篇关于在Zig里实现类型安全HTML模板的文章，挺有想法。Zig一贯追求编译时安全和极简运行时，把它用到模板领域，本质上是在追问一件事：模板引擎能不能像Zig处理内存那样处理标记语言？说实话，大多数模板引擎至今仍靠运行时拼字符串，变量名拼错得等部署完才炸。Zig这条路线方向对——编译期就把结构钉死，消灭的不是百分之几的bug，是一整类bug。当然Zig生态还在爬坡，但这篇文章至少证明了一点：模板引擎和类型系统之间的距离，比大多数人以为的短得多。

原文：Type-safe HTML templating in Zig · 来源：Hacker News