La ubicua estructura codice_4, ahora admitida como un elemento esencial de cualquier lenguaje de programación, fue inventada por McCarthy para el uso en Lisp, donde vio su primera apariencia en una forma más general (la estructura codice_5).