Nous pourrions décrire un langage fonctionnel comme étant un langage dont les fonctions sont des objets de première classe. Avec cette définition, on aurait tout dit. Si nous cherchions plus loin, on nous parlerait de lambda calcul, d’effet de bord ou encore de système de type. Une telle présentation n’est pas très séduisante.