Block Structure

Block structure is the organizational principle in programming languages where executable code is grouped into nested, delimited units — blocks — each with its own scope for variable declarations and lifetime management. Introduced in ALGOL 60 and inherited by virtually every subsequent imperative language, block structure enables lexical scoping: a variable's visibility is determined by its position in the nested block hierarchy rather than by runtime calling conventions. This was not merely a convenience. It was a foundational insight that separated the static structure of a program from its dynamic execution, making it possible to reason about programs without simulating them.

The block is the atom of structured programming: it turns a sequence of statements into a composable unit, enables the controlled binding of names to values, and provides the scaffolding for structured control flow. Without block structure, modularity is impossible — not as a matter of engineering preference but as a matter of formal necessity.