MENTAL MODEL · M0245

The Law of Leaky Abstractions

TechnicalHigh supportSoftware Engineering

Included

Version 1.0.0 · Updated 2026-07-30

CORE DEFINITION

Any abstraction layer inevitably exposes some of its underlying details to the user; when the underlying layer fails or behaves abnormally, the abstraction 'leaks', forcing the user to understand the implementation beneath it.

SCAFFOLDING EFFECT

psychology

Reduce cognitive load

All non-trivial abstractions leak details.

anchor

Anchor fast decisions

The Law of Leaky Abstractions (also known as Spolsky's Law) states that all non-trivial abstractions leak underlying details in some situations, forcing users to still understand the lower layers. It reminds us that abstractions can reduce but not eliminate complexity, especially at boundaries.

MINIMUM ACTION

In progress 0/1

Practice this model in one real situation:

When designing abstractions, clearly document the situations and boundary conditions where they may not hold. When performance or anomalies arise, guide users to look deeper rather than pretending the abstraction is transparent.

Check to track your progress (stored locally)

Learning progress0%

account_treeGenealogyexpand_more

menu_bookReferencesexpand_more

Source support: Explicit

link
en.wikipedia.orghttps://en.wikipedia.org/wiki/Leaky_abstractionZH · Explicit
verified

RELATED MODELS