ExactTex. A gradually-typed superset of LaTeX
A new project called ExactTex has been introduced as a gradually typed extension of the LaTeX typesetting system. It aims to add optional static type checking to LaTeX documents, allowing authors to annotate macros and commands with type information that can be verified incrementally. The approach seeks to improve reliability while preserving LaTeX’s flexibility for future development.