It seems to me that LaTeX is primarily used as academic gatekeeping. This is one step better, but why a new DSL versus a library to build your layout representation from a common language?
It might be difficult to believe given the unfriendly failure modes characteristic of a macroexpander and an abundance of dusty corners, but LaTeX really is very convenient for a proficient user when the problem fits (e.g. not a magazine).
A big chunk of academic papers are done in Word, even in mathematics.
I think a DSL really makes sense here, because that’s what you spend half of your time dealing with—the syntax—so there is a lot of room to make it easier.
document(
paragraph("blah blah blah"),
math("sum_(i=1)^n i = (n (n+1))/2"),
paragraph("foo bar")
)
Also, I'd imagine being a DSL and having a dedicated compiler is what let's Typst have such great incremental compilation (it's actually instant).[1] https://docs.racket-lang.org/scribble/