Generally Typst looks like a significant improvment over LaTeX to me. The language is cleaner and easier to understand, and the first class scripting support is appealing. Its embeddability and templating features make it an interesting option for automated PDF generation (e.g. invoices) as well.

However its handling of introspection and convergence gives me a bad feeling.