ExactTeX: LaTeX mit Typprüfung – Fehler finden, bevor das PDF entsteht

ExactTex. A gradually-typed superset of LaTeX

ExactTeX ist eine schrittweise typisierte Erweiterung von LaTeX: Jede .tex-Datei bleibt gültig, aber mit Annotationen wie @id und @ref erhalten Sie geprüfte Verweise, sichere Umbenennungen und aussagekräftige Fehlermeldungen. Der Compiler, in Rust ohne Abhängigkeiten geschrieben, bietet auch einen LSP-Server und eine WebAssembly-Version für den Browser. Ein Renaming von .tex zu .xtex ändert nichts am Verhalten – unannotierter Code wird byte-identisch durchgereicht. Die Typprüfung basiert auf dem Konzept des unbekannten offenen Typs ?O und liefert eine Abdeckungsmetrik. Das Projekt ist noch jung, aber der Transport von unverändertem LaTeX ist garantiert.