Part II — The Disciplines
The checkable practices: types, contracts, effects, stack shapes, places, and hardware.
Each chapter introduces one discipline of the language — the practice, the labs that prove it, and the rules the compiler enforces.
The checkable practices: types, contracts, effects, stack shapes, places, and hardware.
Each chapter introduces one discipline of the language — the practice, the labs that prove it, and the rules the compiler enforces.