Skip to main content

"The Type Is the Structure"

This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.

State

Mistaking an abstract data type for one particular structure hides every alternative — one set of operations can be implemented by many representations with different costs.

Show

A hospital waitlist keeps working when its storage changes underneath, because the operations never changed.

Watch for

Swapping representations is routine; the type survives it.