Filosofía de la ingeniería: Barbara Liskov, el contrato es el tipo
Barbara Liskov convirtió la abstracción de datos en una primitiva de programación: un tipo es el contrato que cumple, y un subtipo debe honrar cada promesa que hace su supertipo.
Engineering & Craft