John McCarthy designed LISP at MIT in 1958 (formally published in 1960) as the first practical functional programming language based on Church's lambda calculus. He introduced lists as a universal data structure, recursion as the main control mechanism, and treated functions as first-class data. Conceived for AI research, it became the direct predecessor of ML, Scheme, Haskell, and the entire family of modern functional languages.