ExactTeX: постепенно типизированный LaTeX, который ловит ошибки до компиляции
ExactTex. A gradually-typed superset of LaTeX
ExactTeX — это надмножество LaTeX с постепенной типизацией: любой .tex файл уже является валидным .xtex, а добавленные аннотации дают проверку ссылок, безопасный рефакторинг и сообщения об ошибках с указанием именованных объектов. Проект включает компилятор на Rust с нулевыми зависимостями, LSP-сервер и WebAssembly-сборку для браузера. Автор описывает дизайн, основанный на постепенной типизации, и показывает, как ExactTeX находит ошибки, которые LaTeX пропускает, например, когда ссылка на рисунок указывает на таблицу.
Когда что-то не помещается на странице, LaTeX говорит: «Overfull \hbox (12.3pt too wide) in paragraph at lines 45--47», а ExactTeX говорит: «ваша таблица "results" выходит на 12.3pt за правую границу — column 3 не соответствует объявленной ширине».