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 program compiles or it doesn't.”Episode 240 — Frontier Models Designed Follow-Ups To Fraudulent Papers 93% Of The Time