Another project with similar aims [LWN.net]

Another project with similar aims

Posted Sep 18, 2025 10:10 UTC (Thu) by epa (subscriber, #39769)
In reply to: Another project with similar aims by spacefrogg
Parent article: Typst: a possible LaTeX replacement

So Typst is still a Turing-complete programming language? It would seem cleaner to have something less powerful, or at least define a subset without fully general macros that's good enough for 80% of documents. I think that gives a better chance of forward compatibility too: some of the unhappy experiences with LaTeX bitrot are because LaTeX packages can do anything at all, so it's hard to guarantee that a new version works the same, or to automatically convert documents from old to new.

to post comments

Another project with similar aims

Posted Sep 18, 2025 12:41 UTC (Thu) by smoogen (subscriber, #97) [Link]

The first company I worked at was a browser company who thought that you could meet 80% of all document pages with something simple. What we learned was that what we thought was an 80% solution really only covered 20% of the actual document space. This seems to have been the case with many other attempts I have seen over the years. You can add a couple of items in a highly opionated method of 'this is our one true way' but you quickly find that there are conflicting 'choices' in how people visually perceive layout.. In the end you either accidentally create a turing complete language or put one in on purpose.

Another project with similar aims

Posted Sep 19, 2025 9:19 UTC (Fri) by taladar (subscriber, #68407) [Link]

I would argue it is the opposite. Every "purely declarative" or "deliberately not Turing-complete" language eventually gets turned into one anyway because otherwise you lack too much expressive power so you either have the choice of doing so deliberately from the start or doing so accidentally with bad ergonomics later.

Another project with similar aims

Posted Sep 26, 2025 19:38 UTC (Fri) by bluss (guest, #47454) [Link]

Typst's embedded language is fully turing complete but that doesn't mean that it can do "anything at all" with the output document. For example something packages do in the latex world is emit raw pdf directives, which no Typst package can do (the API is just not there).

Another project with similar aims

Posted Sep 27, 2025 17:01 UTC (Sat) by tjbc (guest, #179557) [Link]

This comment shows a deep misunderstanding of what Turing complete means. You are confounding that with the macro system that LaTeX provides. Typst deliberately does not and will not support macros.