Formally speaking, "Transpiler" is a useless word | Rachit Nigam
I find “transpiler” to be a useless word: depending on the speaker, it can mean anything from a text replacement tool to a sophisticated optimizing compiler; I would much rather just use “compiler” to describe these systems. In reading this older post, someone pointed me to the dichotomy between lumpers and splitters: people who try to group similar things vs. people who try to separate out different things. I think this is an interesting idea and made me want to pen down, rigorously and formally, why I think compilers and transpilers are the same thing. So, here is the game plan: I will introduce a couple of ideas that the programming languages (PL) community developed to carefully think about tools that manipulate programs. I will use these ideas to give three formal definitions of the word “transpiler” and work through why I do not like them. Even if you disagree, I hope that the formal framework provides a more rigorous ground for debate! Concrete syntax is the first layer of a pro
Formally speaking, "Transpiler" is a useless word | Rachit Nigam Formally speaking, "Transpiler" is a useless word Tools of math to wage a pointless war December 30, 2025 I find “transpiler” to be a useless word : depending on the speaker, it can mean anything from a text replacement tool to a sophisticated optimizing compiler; I would much rather just use “compiler” to describe these systems. In reading this older post, someone pointed me to the dichotomy between lumpers and splitters: people who try to group similar things vs. people who try to separate out different things. I think this is
Explore this link on the map →saved by
related reading
- di.ku.dk/english/research/phd/phd-theses/2025/dissertation_Robert.pdfdi.ku.dk
- What even is compiler correctness?williamjbowman.com
- A Map of the Territory · Crafting Interpreterscraftinginterpreters.com
- A Map of the Territory · Crafting Interpreterscraftinginterpreters.com
- Introduction · Crafting Interpreterscraftinginterpreters.com
- Beautiful Racket: Make a language in one hour: stackerbeautifulracket.com
- Succinctness is Powerpaulgraham.com
- The key technologies behind SQL Comprehension | dbt Developer Blogdocs.getdbt.com
- Structure and Interpretation of Computer Programsmitp-content-server.mit.edu
- How Compiler Explorer Works in 2025 — Matt Godbolt’s blogxania.org
- Writing a C compiler in 500 lines of Pythonvgel.me
- UW PLSE | Algebraic Semantics for Machine Knittinguwplse.org