In 2021, I used the expl3 programming language for the first time in my life. I had already been eyeing expl3 for some time and when it came to defining a LaTeX-specific interface for processing YAML metadata in version 2.11.0 of the Markdown Package for TeX, I took the plunge.
In September, I wrote a project proposal for developing a static analysis tool (so-called linter) for the expl3 programming language. I submitted the proposal to the TeX Development Fund and I’m thrilled to share that the proposal has been accepted. The project was awarded a grant of US$2000, spread over the next 12 months. At the end of this period, I’ll be presenting a final report as a TUGboat article, potentially as early as at TUG 2025 in तिरुवनन्तपुरम्.
This week has been an exciting one for the TeX and LaTeX community in Brno, with Frank Mittelbach, a key figure from the LaTeX team, visiting Masaryk University to deliver talks on the history and the future of LaTeX. Alongside his visit, I introduced explcheck, a static analysis tool for the expl3 programming language, with its first public release now available on CTAN. As part of my seminar talk, I demonstrated explcheck’s capabilities, including a deep dive into 11 years of expl3 usage statistics, which reveal intriguing trends about its adoption and integration into the TeX ecosystem.
Two weeks ago, I announced the first public release of expltools, a bundle that includes explcheck, a static analysis tool for the expl3 programming language. Since then, the project has sparked a lively discussion in the project repository, engaging early adopters, contributors, and enthusiasts. This feedback loop has already resulted in two new releases within the past two weeks, and another update is planned for next Monday (December 23). On December 14, I also had the opportunity to present explcheck during a talk at the general assembly of the Czechoslovak TeX Users Group (CSTUG). Although the talk was delivered in Czech, the presentation slides are in English and should provide a clear overview of the topics discussed.
Another month and another explcheck update! @koppor and I introduced lexical analysis and launched a public site listing issues in current TeX Live. 🚀
🔗 https://koppor.github.io/explcheck-issues/
More details in my latest blog post:
https://witiko.github.io/Expl3-Linter-7/
New month, new explcheck update! 🛠️
I've just rolled out syntactic analysis, moving us closer to complete static analysis for expl3 code. We're on track to build a public web library of expl3 symbols (like functions, global variables, and logging messages).
More details in my latest blog post:
https://witiko.github.io/Expl3-Linter-8/
Today, I’m excited to release the next major update to expltools, a bundle that includes the static analysis tool explcheck for the expl3 programming language. This update introduces syntactic analysis, completing three out of five planned processing steps.
New month, new explcheck update! 🛠️
This release introduces the first stage of semantic analysis. expl3 function definitions are now analyzed in depth, allowing explcheck to catch more issues inside user-defined code—not just at the top level.
I also report on bugs found in TeX Live packages and how maintainers are responding.
Details in the latest blog post:
https://witiko.github.io/Expl3-Linter-8.5/
Today, I’m excited to announce another update to expltools, the bundle that includes the static analysis tool explcheck for the expl3 programming language. This update introduces initial support for semantic analysis. In this post, I’ll explain what this means for expl3 programmers, what’s still missing, and where we’re headed next. In a previous post, I introduced a public website listing issues in current TeX Live packages detected by explcheck. This time, I’ll also talk about how I’ve been using that resource to collaborate with package authors and help fix real-world issues.
🔍 Deeper semantic analysis for explcheck!
The latest update adds six new checks for expl3 functions and variants, catching more subtle bugs and edge cases. This completes a quarter of all checks planned for the semantic analysis step.
I also take a hard look at the project timeline—why things are slower than expected, and what comes next.
Read the full devlog here:
https://witiko.github.io/Expl3-Linter-8.75/
Today, I’m excited to announce another update to expltools, the bundle that includes the static analysis tool explcheck for the expl3 programming language. This release significantly extends support for the semantic analysis processing step. In this post, I’ll explain what this means for expl3 programmers, what functionality is still missing, and provide a realistic estimate for when full support for semantic (and flow) analysis can be expected. I’ll also discuss how this impacts the project roadmap. Additionally, I’d like to tease a work-in-progress article titled Expltools: Development tools for expl3 programmers, forthcoming in TUGboat 46(2) or (3), along with my upcoming talk this July at TUG 2025 in India. Finally, as a follow-up to the previous two posts, in which I described how I collaborated with package authors to fix issues detected by explcheck, I’ll provide updates on the status of those tickets.
After today's update of the ghcr.io/witiko/expltools/explcheck docker image, the issue W202 (Deprecated control sequences) is reported for ~46 new package files. This is due to the 2025-06-01 release of LaTeX, which renames `\regex_match:*` to `\regex_if_match:*` and deprecates the former. See also <https://github.com/witiko/expltools/issues/95>.
Today, I’m excited to release the next major update to expltools, a bundle that includes the static analysis tool explcheck for the expl3 programming language. This update finishes the semantic analysis, completing four out of five planned processing steps.
Today, I’m excited to release the next major update to expltools, a bundle that includes the static analysis tool explcheck for the expl3 programming language. This update improves upon the semantic analysis processing step introduced in the previous post and lays groundwork for the final processing step of flow analysis.
witiko
