La programmation fonctionnelle réalise une implémentation informatique du concept mathématique de calcul et d'algorithme. Elle adopte ainsi un point de vue de plus haut niveau que la programmation impérative (procédurale aussi bien qu'à objets). Elle permet alors de raisonner plus facilement sur les programmes, notamment pour s'assurer de leur correction via l'immuabilité et le raisonnement équationnel.
En outre, elle offre des outils puissants, parmi lesquels : « currification », application partielle, fermetures, fonctions de premier ordre, fonctions anonymes, fonctions d'ordre supérieur, différentes formes de polymorphisme, inférence de type, différentes formes d'évaluation, types algébriques, filtrage de motifs, foncteurs, monades, etc. Plusieurs d'entre eux ont pu percoler dans d'autres familles de langage, notamment Rust.
Nous utilisons Haskell, un langage fonctionnel pur, comme support.