John McCarthy diseñó LISP en el MIT en 1958 (publicado formalmente en 1960) como el primer lenguaje de programación funcional práctico basado en el cálculo lambda de Church. Introdujo las listas como estructura de datos universal, la recursividad como mecanismo de control principal, y el tratamiento de las funciones como datos de primer orden. Concebido para investigación en inteligencia artificial, se convirtió en el antecedente directo de ML, Scheme, Haskell y toda la familia de lenguajes funcionales modernos.