3 ms·

This is the first time I've read that LaTeX's problem was a lack of types.

• fph 1mo ago
  But one of its problems surely is "horrible error messages", and this project addresses it, too.
  • xigoi 1mo ago
    However, it doesn’t address the atrocious compile times, excessively verbose syntax and fragile macro system.
    • camilochs 1mo ago
      The thing is, my goal was to enhance the text editor and improve the error messages, but not to abandon TeX. That's the price I have to pay.
• camilochs 1mo ago
  Types are just the mechanism. The real problem is the one fph pointed out: LaTeX reports errors in its own terms instead of the author’s, and review comments live somewhere else. Gradual typing is simply how the compiler can understand the names you introduce without pretending that all of LaTeX can be typed, because it can't.