Definition
Plain language
The program that turns the code a developer writes into something a computer can actually run.
As stated in the literature
A tool that translates source code into machine code or bytecode and rejects programs that violate the language's rules; in proof assistants like Lean, the compiler also serves as the proof checker, accepting only logically valid programs.
Also called: compiles, compile, compiled
Why it matters: It is the gatekeeper that turns written code into a runnable program and refuses anything that breaks the language's rules.
For example, when a developer hits 'build,' the compiler turns their human-readable code into the instructions the computer actually executes, flagging any errors along the way.
Heard on the show
“The compiler and the symbolic engine play the role of the TA.”Episode 014 — Why a Constrained Pipeline Beat a Full Coding Agent at Finding Bugs 30-to-1