Des langages fonctionnels plus récents tels ML (1973), Haskell (1987), OCaml, Erlang, Clean et Oz, CDuce, Scala (2003), F# ou PureScript (2013), Agda (en) sont fortement typés.
La programmation fonctionnelle est un paradigme de programmation (au même titre que la programmation procédurale ou objet).
De la même manière que la programmation objet est une évolution de la programmation procédurale, la programmation fonctionnelle est une évolution de la programmation objet.
Un langage fonctionnel est un langage de programmation. dont la syntaxe et les caractéristiques encouragent la programmation fonctionnelle (La programmation fonctionnelle est un paradigme de programmation qui considère le calcul en).
Le langage fonctionnel le plus ancien est le Lisp, créé en 1958 par Mac Carthy.