リーキーな抽象化の法則（2002年）
Joel Spolsky氏が提唱したソフトウェア工学における重要な法則。すべての抽象化は不完全であり、基盤となる複雑性が「漏れ出る」ことを指す。例えば、TCPのような信頼性の高い抽象化も、ネットワーク切断時にはその限界が露呈する。この法則を理解することで、開発者は抽象化の恩恵とその危険性の両方を認識し、より堅牢なシステムを構築できる。
背景メモ
- Joel SpolskyはMicrosoftでExcelやVBAを開発したプログラマーで、スタートアップTrello（のちにAtlassianが買収）を共同創業。Stack Overflowという開発者向けQ&Aサイトの共同設立者でもあり、ソフトウェア業界で非常に影響力のある人物。
- "Leaky Abstraction"（漏れる抽象化）はSpolskyが提唱した概念で、「いかなる抽象化も、その仕組みを完全に隠蔽することはできない」という主張。たとえば、プログラマーはネットワーク越しの処理を「ローカルの関数呼び出しのように」書けるが、実際にはパケットロスやレイテンシが発生し、抽象化の下の現実が漏れ出してしまう。
- この法則が言うのは、「抽象化に頼っているからといって、その下のレイヤー（OS、ネットワーク、メモリ管理など）の仕組みを理解しなくていいわけではない」ということ。現場のエンジニアが「簡単なはずの操作」で不可解な不具合に遭遇するのは、多くの場合、抽象化が漏れているから。
- 2002年の投稿だが、クラウド、コンテナ（Docker）、AI APIなどが普及した今も、エンジニアリング組織で必読の古典として引用され続けている。