Part 1: Basics

Overview

Modelling Information as Data

Designing Functions that Operate on Data

Designing Tests from Data and Functions

Abstract Patterns over Data (Arrays)

TypeScript's Type Checker

Synthesis: Information as Data

Overview

Limits of Types and the Need for Contracts

Invariants

Owning Invariants with Modules

Synthesis: Contracts and Invariant Ownership

Part 2: Designing Abstractions

Abstraction

Decomposition

Verification

Error Handling

Encapsulation

Boundaries

Extension

Open/Closed

Part 3: Enabling Evolution

On this page

Prevent bugs before programs run

TBD

Pager