ExactTeX: LaTeX에 점진적 타입을 더해 PDF를 만들기 전에 오류를 잡는다
ExactTex. A gradually-typed superset of LaTeX
ExactTeX는 모든 .tex 파일이 그대로 유효한 LaTeX의 점진적 타입 슈퍼셋입니다. 파일 확장자를 .xtex로 바꾸면 기존 LaTeX는 그대로 동작하며, 원하는 부분에만 주석을 추가해 참조 검증, 안전한 이름 변경, 사용자 정의 이름 기반 오류 메시지를 얻을 수 있습니다. 컴파일러는 의존성이 없으며, 터미널, 편집기(LSP), 브라우저(WebAssembly)의 세 가지 인터페이스를 제공합니다. 이를 통해 문서가 PDF로 변환되기 전에 구조적 오류를 미리 발견할 수 있습니다.
같은 사실을, 당신이 그 객체에 붙인 이름으로 말해줍니다. 이는 당신이 선언했기 때문에 가능합니다 — 구문의 목적이 바로 그것입니다.