Engineering-Philosophie: Barbara Liskov – Der Vertrag ist der Typ
Barbara Liskov machte Datenabstraktion zu einem Grundbaustein der Programmierung: Ein Typ ist der Vertrag, den er einhält, und ein Subtyp muss jedes Versprechen seines Supertyps erfüllen.
Engineering & Craft