ExactTex. A gradually-typed superset of LaTeX
github.com23 points by camilochs 4 days ago
23 points by camilochs 4 days ago
I do not believe that writing native LaTeX code is difficult today, given the popularity of AI-assisted coding. In comparison, using a "compiler that outputs LaTeX code" may be less stable.
I hope tex gets replaced by typst. It much more pleasurable to write in in my opinion.
It seems every article about LaTeX is a rallying call for Typst fans to inject their opinion of how amazing Typst is into a largely unrelated discussion, instead of reading and commenting on the actual article.
This is the first time I've read that LaTeX's problem was a lack of types.
AI slop.
You can tell it's slop because of the way that it is.
The heading "The type system is gradual, and that is the whole design" is a dead giveaway.
Actually the whole "How young this is" section reads very LLM-y. Claude, I think? It's funny that LLMs have more distinctive authorial voices than so many people.