También hemos vislumbrado otra idea crucial sobre los lenguajes y el diseño de programas. Se trata del enfoque del diseño estatificado, la noción de que un sistema complejo debe estructurarse como una secuencia de niveles que se describen utilizando una secuencia de lenguajes. Cada nivel se construye combinando partes que se consideran primitivas en ese nivel, y las partes construidas en cada nivel se utilizan como primitivas en el nivel siguiente. El lenguaje utilizado en cada nivel de un diseño estratificado tiene primitivas, medios de combinación y medios de abstracción apropiados para ese nivel de detalle.