Skip to content

Topic

Type-Driven API Design

Designing library interfaces so that invalid states are rejected by the compiler's type checker rather than caught at runtime or not at all.

Current clusters