I do not believe that writing native LaTeX code is difficult today, given the popularity of AI-assisted coding. In comparison, using a &quot;compiler that outputs LaTeX code&quot; may be less stable.

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.

I hope tex gets replaced by typst. It much more pleasurable to write in in my opinion.

This is the first time I&#x27;ve read that LaTeX&#x27;s problem was a lack of types.

You can tell it&#x27;s slop because of the way that it is.The heading &quot;The type system is gradual, and that is the whole design&quot; is a dead giveaway.Actually the whole &quot;How young this is&quot; section reads very LLM-y. Claude, I think? It&#x27;s funny that LLMs have more distinctive authorial voices than so many people.

ExactTex. A gradually-typed superset of LaTeX