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.
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.
Par son design, la programmation fonctionnelle propose des avantages très intéressants, car elle permet de faire des programmes : Extrêmement modulaires, car ce n'est rien de plus que de l'assemblage.
Bien plus prédictibles, grâce à des fonctionnalités plus faciles à concevoir, créer, débugger et tester.