Langages fonctionnels

Texte du Tuteur écrit par Gilles HUNAULT



Un langage fonctionnel repose sur l'idée que tout (ou presque
est fonction). Cela n'est possible qu'avec des notations non
classiques (au sens de Pascal, C etc.), des structures de
données non conventionnelles et des mécanismes dédiés
d'interprétation. Nous prendrons comme exemple Lisp, Apl
et un langage récent, celui de Mathematica (mais on aurait aussi pu
choisir Maple).

Problèmes posés par le postulat "tout est fonction"

Dans un langage classique, on distingue des expressions, des fonctions, des sous-programmes. Tout ramener à des fonctions est possible mais demande des aménagements et en particulier aboutit à une écriture non "naturelle". Ainsi l'expression 3 + 2 peut être comprise comme l'application de la fonction Plus aux arguments 2 et 3. De même, l'affectation x <-- 1 peut être comprise comme l'application de la fonction Affecte aux arguments x et 1. On en déduit que l'instruction x <-- 1 + 2 * y doit être considérée comme la composition des trois fonctions Multiplie, Plus et Affecte. Pour faire ressortir les fonctions, il est commode de mettre la fonction en début (notation préfixée), d'où les traductions en notation fonctionnelle mathématique : 3 + 2 devient Plus(3,2) x <-- 1 devient Affecte(x,1) x <-- 1 + 2 * y devient Affecte(x,Plus(1,Multiplie(2,y))) L'un des problèmes principaux posés est ici la non-lisibilité de telles instructions de par la multiplication du nombre de parenthèses (du à la fonctionnalisation de toutes les expressions) et à la non-naturalité de l'ordre des expressions. Par exemple, la variance d'un échantillon qui peut se calculer comme la moyenne du carré moins le carré de la moyenne s'écrit, dans un langage classique : variance < -- moyenne(prodl(ech,ech))) - carre(moyenne(ech)) où : - prodl(x,y) renvoie la liste des produits terme à terme des listes x et y - carre(t) est simplement le carré du nombre t - moyenne(l) est la moyenne de la liste l En notation foncionnelle, cette affectation devient : Affecte(variance,Moins(moyenne(prodl(ech,ech)), carre(moyenne(ech))))

Problèmes dus à l'interprétation

Pour tirer au mieux parti des fonctions, il faut utiliser des structures de données adaptées. Si on réduit toute instruction à un appel de fonction, on conçoit qu'on peut réduire toute structure de données à un modéle unique, celui de liste (terme traditionnel qui vient de Lisp, mais ambigu à notre goût). Qui plus est, on peut aussi réduire (ou intégrer, assimiler ) un appel de fonction à une liste car si on convient de noter les listes entre parenthèses et de séparer les éléments par des espaces, au lieu de la notation fonctionnelle Plus(x,y) on peut écrire, en utilisant une notation listielle (Plus x y). La notion de liste est plus fondamentale que celle de fonction puisque tout est liste alors que remplacer (x y z...) par Liste(x,y,z...) ne permet pas de de tout inclure comme fonction. C'est pourquoi Lisp ne s'appelle Foncp (LISt Processing rather than FONCtion Processing). Les listes sont alors les seules structures de données et doivent, pour répondre aux exigences des différentes fonctions être dynamiques (de longueur non fixe), hétérogènes (les éléments de la liste ne sont pas forcément de même nature), emboitables (un élément d'une liste peut contenir une autre liste) etc. Le moyen classique de gestion et d'utilisation des listes est alors la récursivité, qui amène le problème de la lisibilité (là-encore), de l'efficacité, de l'opti- misation et de la mise au point. Prenons un exemple simple, celui de la somme des n premiers entiers (problème trivial puisqu'il existe une formule, mais équivalent au problème de la somme d'une liste de n éléments, la définition des éléments en moins). Si un algorithme classique tel que : * Calcul de la somme des n premiers entiers somme <-- 0 pour i De1A n somme <-- somme + i { écrire i, somme } finpour i De1A n est simple à récursiver, le programme récursif final n'est pas unique. On peut en effet raisonnablement penser aux solutions : * Solution 1 récursive pour la somme des * n premiers entiers * Syntaxe d'appel : Somme(n) si n = 0 alors renvoyer 0 sinon renvoyer i + Somme(i-1) finsi n = 0 * Solution 2 récursive pour la somme des * n premiers entiers * Syntaxe d'appel : Somme(n) si n = 0 alors renvoyer 0 sinon renvoyer Somme(i-1) + i finsi n = 0 Ces deux solutions sont équivalents du point de vue du calcul, mais certainement pas du point de vue de la réalisation en machine. D'autre part, le commentaire de suivi dans l'algorithme itératif parait difficile à insérer. Comment suivre alors ce qui se passe ? Reprenons l'exemple du calcul de la variance. Une écriture fonctionnelle "pure et dure" ne passe pas par des variables globales. Les calculs de la moyenne de l'échantillon et de son carré sont alors calculés séparamént et récursivement par (moyenne ech) et (moyenne (prodl(ech ech))). Moyenne doit certainement être définie par : Divise(somme(listea),longueur(listea)) et longueur(listeb) par : si listevide(listeb) alors renvoyer 0 sinon renvoyer 1 + longueur(reste(listeb)) finsi listevide(listeb) où reste(lst) renvoie la liste lstprivé de son premier élément. Une telle programmation est nécessairement inefficace (même si elle est très modulaire) car elle conduit à effectuer 4 appels récursifs similaires : -. un pour longueur de ech .- un pour longueur de prodl(ech,ech) .- un pour la somme de ech .- un pour la somme de prodl(ech,ech) On se retrouve dans la situation où on écrirait sans les regrouper les 4 boucles : somme <-- 0 pour i De1A n somme <-- somme + i finpour i De1A n longech <-- 0 pour i De1A n longech <-- longech + 1 finpour i De1A n longprod <-- 0 pour i De1A n longprod <-- longprod + 1 finpour i De1A n somcar <-- 0 pour i De1A n somcar <-- somcar + i * i finpour i De1A n Une solution plus optimale serait de grouper les appels, par exemple en réalisant : Affecte(n,longueur(ech)) Affecte(variance, Moins(divise(somme(prodl(ech,ech)),n), carre(divise(somme(ech),n )))) mais on augmente encore la non-lisibilité. Et on utilise des variables globales (ce qui pour certains puristes semble être plus grave). Les mêmes problèmes ressurgissent quant à l'extraction des éléments. Si dans une structure indicée classique nommée Tab les élements Tab[1] et Tab[n] semblent jouer le même rôle et semblent être récupérables par le même mécanisme d'extraction, il en va différement pour les listes. Si Prem(lst) renvoie le premier élément de la liste lst et si Reste est définie comme précédem ment, la façon récursive d'obtenir le n-ième élément est : * Renvoie le nième élément de lst * Appel : ieme(lst,n) si n = 1 alors renvoyer prem(lst) sinon renvoyer ieme( reste(lst), n-1 ) finsi n = 1 On conçoit alors que le temps d'accès à un élement augmente sensiblement avec sa position dans la structure. Si on recherche le dernier élément de la structure, une solution comme Prem(Retourne(lst)) est aussi sympathique et monstrueuse que la solution qui consiste à trier tout un tableau et en prendre le premier élément pour en calculer le maximum. On trouvera ci-dessous quelques exemples et remarques spécifiques aux langages utilisés.

Lisp

A titre d'illustration, voici quelques fonctions en LeLisp qui implémentent ce qui a été dit plus quelques autres significatives. Le calcul de la longueur d'une liste est clair sir on se rappelle que CDR renvoie la liste privée de son premier élément. Le total (rapide) de la somme des éléments d'une liste se fait grâce à Apply alors que la solution récursive (lente) a été nommée cumul. Pour tester le calcul de la somme des n premiers entiers, nous créé la fonction Iota (du nom du symbole Apl associé) telle que iota(n) renvoie la liste 1,2..n ; comme indiqué, la solution récursive "bloque" rapidement (dès n=395) alors que la solution itérative nommée iotaD permet de dépasser facilement n=1000 (mais en un temps non négligeable). (de longueur(listea) ; renvoie le nombre d'éléments de listea (cond ( (null listea) 0 ) ( t (+ 1 (longueur(cdr listea) ) ) ) ) ) ; fin de longueur (de somme (listeb) ; renvoie le total des éléments de listeb (apply '+ listeb) ) ; fin de somme (de cumul (listeb) ; renvoie le total des éléments de listeb ; calcul récursif (cond ((null listeb) 0 ) (t (+ (car listeb) (cumul (cdr listeb) ) ) ) ) ) ; fin de cumul (de iota ( nombre ) ; renvoie 1, 2 ... nombre en récursif (cond ((= 1 nombre) (list 1)) (t (append (iota (- nombre 1)) (list nombre)))) ) ; fin de iota ; nombre ne peut dépasser 395 (de iotaD ( nombre ) ; renvoie 1, 2 ... nombre en itératif (setq lst (list (setq i 1))) (while (< i nombre) (setq i (1+ i)) (setq lst (append lst (list i) )) ) ; fin de while lst ) ; fin de iotaD - on peut aller jusqu'à 1000 sans problème (de moyenne(listec) ; renvoie la moyenne des éléments de listec (/ (somme listec) (longueur listec) ) ; ou (/ (apply '+ listec) (length listec) ) ) ; fin de moyenne (de variance(listec) ; renvoie la variance des éléments de listec (- (moyenne (prodl listec listec)) (carre (moyenne listec)) ) ) ; fin de variance

Apl

Les premiers interprètes Apl, aussi vieux que les premiers interprètes Lisp, ne disposaient que de tableaux hétérogènes à longueur variable. Les interprètes APL des années 80 ont des "tableaux généralisés" ou "tableaux de tableaux" qui ont de fortes similarités avec les listes de Lisp. Apl étant moins bien connu que Lisp, nous détaillerons plus les fonctions Apl que les fonctions Lisp. On peut très simplement réécrire les fonctions de base Lisp en Apl. La syntaxe Z {CARSPECIAUX 67 \f "Lucida Bright Math Sym bol"} arg1 FONCTION arg2 est en APL l'en-tête de la fonction. L'opérateur rho extrait la longueur de son argument. Alors : Z <-- IS_NIL L défini par : Z <-- 0 = {CARSPECIAUX 60 \f "Lucida Bright Math Italic"} L permet de tester si une liste est vide. L'opérateur {CARSPECIAUX 69 \f "Lucida Bright Math Symbol"} extrait des éléments. n {CARSPECIAUX 69 \f "Lucida Bright Math Symbol"} Lst extrait les n premiers éléments de Lst si n est positif, les n derniers si n est négatif. Cas particulier, 1 {CARSPECIAUX 69 \f "Lucida Bright Math Symbol"} Lst est donc le premier élément et -1 {CARSPECIAUX 69 \f "Lucida Bright Math Symbol"} Lst le dernier. De même l'opérateur {CARSPECIAUX 70 \f "Lucida Bright Math Symbol"} supprime des éléments. Dans ces conditions : Z {C ARSPECIAUX 67 \f "Lucida Bright Math Symbol"} CAR L est défini par : Z <-- 1 {CARSPECIAUX 69 \f "Lucida Bright Math Symbol"} L et Z <-- CDR L est défini par : Z <-- 1 {CARSPECIAUX 70 \f "Lucida Bright Math Symbol"} L. La concaténation par , met bout à bout en dépliant les structures alors que la concaténation par espace blanc conserve les structures. Ainsi (2 3) , 5 devient 2 3 5 alors que (2 3) 5 est exactement la liste ( (2 3) 5 ) de Lisp. Donc : Z <-- F APPEND L est défini par : Z <-- L F et Z <-- F PREPEND L est défini par : Z <-- F L Pour reprendre les fonctions récursives de Lisp, il faut savoir qu'en APL on quitte une fonction par goto 0. Le résultat explicite de la fonction peut alors être calculé en même temps comme résultat d'une affectation. D'où des expressions comme goto (IS_NIL L) / Z <-- 0 ou même, parfois (mais ce n'est pas le cas ici) comme : goto (IS_NIL L) / 0 x Z <-- (résultat) de façon à obtenir une écriture compacte. Les symboles APL ont été remplacés par leur nom en minuscule. Z <-- CUMUL L est défini par : (comment) le plus simple : (comment) Z <-- +/L qui correspond à Apply '+ (comment) SOLUTION RECURSIVE goto (IS_NIL L) / Z<--0 Z <-- (CAR L ) + CUMUL CDR L Z <-- LONGUEUR L est défiini par : (comment) le plus simple : Z <-- rho L (comment) SOLUTION RECURSIVE goto (IS_NIL L) / Z <-- 0 Z <-- 1 + LONGUEUR CDR L Z <-- MOYENNE L est défini par : Z <-- (CUMUL L)ö(LONGUEUR L) Z <-- VARIANCE L est défini par : Z <-- (MOYENNE LxL)-(MOYENNE L)*2 On remarquera ici que l'écriture pseudo-traditionnelle d'Apl gagne en lisibilité par rapport à Lisp. Elles est pourtant non naturelle aussi dans la mesure où 2 x 1 + 3 vaut 8 en APL et non pas 5 comme on serait tenté de le croire.

Mathematica

Dédié aux mathématiques, le logiciel Mathematica dispose d'un langage "ultrafonctionnel" issu de Lisp, C et Apl, ce que ne fait pas ressortir ses notations à notre goût parfois maladroites. Ainsi l'appel classique f(x) d'une fonction f avec un argument x devient f[x], le renvoi à la valeur nø i du tableau tab notée d'habitude tab[i] devient tab[[i]] et la structure de base est la liste repérable à ses accolades { et } et dont les éléments sont séparés par des virgules (notation mathématique réservée en principe aux ensembles !). Mathematica est intéressant par ses réalisations : plus de 800 fonctions dédiées aux mathématiques et aux listes en général. Son langage est à la fois procédural, récursif et itératif et dynamique. Il s'exécute en mode direct et/ou en mode macro et/ou en mode programme. Nous reprenons ici l'exemple de la somme des n premiers entiers en nous inspirant fortement des "ten little n-sums" de S. Skinna ; toutefois, les n premiers entiers sont mis dans une liste et on calcule en fait la somme des éléments d'une liste. Il y a 10 façons de calculer la somme. La méthode 0 correspond à la formule n*(n+1)/2 ; l'espace en Mathematica est interprété comme la multiplication, (ce qui permet d'écrire 2 x + 1 comme en maths). La somme 1 correspond au calcul traditionnel de Lisp ave Apply ; La somme 2 est une boucle Pour implicite et la 3 une boucle Pour explicite, la boucle 4 une Tant Que. Pour la somme 5, on utilise une évaluation dynamique avec une "fonction pure" (voir plus bas). La somme 6 utilise la fonction interne Sum. Pour la somme 7, on génére la liste des cumuls progressifs des éléments de la liste et on ne conserve que le dernier terme. Pour la somme 8 on utilise les itérations de la fonction Plus ; pour la somme 9, on applique une fonction pure à chacun des éléments de la liste, obtenant ainsi une liste de cumuls dont on ne conserve que le dernier terme. Enfin, pour la somme 10, on utilise le coefficient du binôme C(n+1,2). TstSum[0] := n (n+1) / 2 TstSum[1] := Apply[ Plus, liste ] TstSum[2] := Module[ {sum=0} , Do[ sum += liste[[i]] , {i,n} ]; sum ] TstSum[3] := Module[ {sum=0,i} , For[ i=1, i<=n, i++, sum += liste[[i]] ]; sum ] TstSum[4] := Module[ {sum=0,i=1} , While[ i<=n, sum += liste[[i++]] ]; sum ] TstSum[5] := Module[ {sum=0} , Scan[ (sum+=#)&, liste ]; sum ] TstSum[6] := Sum[ liste[[i]],{i,n} ] TstSum[7] := Module[ {sum=0,i} , Last[ Table[sum+=liste[[i]],{i,n} ]]] TstSum[8] := Last[ FoldList[Plus,0,liste]] TstSum[9] := Module[ {sum=0} , Last[ Map[(sum+=liste[[#]])&,liste]]] TstSum[10] := Binomial[n+1,2] Pour tester ces sommes, on donne une valeur à n, on génère la liste des n premiers entiers grâce à la fonction Range qui est la fonction équivalente à Iota d'Apl. On calcule alors grâce à Table la liste des temps d'exécution en secondes. Ceux-ci correspondent au premier élément de la liste renvoyée par la fonction Timing. L'extraction au niveau de la liste se fait par l'utilisation conjointe de Map et de First. Enfin, pour générer les colonnes de résultat (numéro et cadrage non compris) on compose la représentation matricielle (MatrixForm) avec la fonction de représentation numérique (N) apliquées à une partie entière d'une fonction pure qui donne les centièmes de secondes et le rapport au premier élément de la liste, soit les instructions : n = 100000 ; liste = Range[n] ; som = Map[ First, Table[Timing[TstSum[i]],{i,0,10} ] /. Second -> ""] ; MatrixForm[ N[ Map[ Floor[List[100 #,#/First[som]]]& , som ]]] La liste nommée som contient vaut : {0.27,11.81,96.94,118.92,117.48,81.95,45.54,109.3,70.47,266.27,1.05} et l'affichage final est, hormis la présentation : nø Centième Rapport de durée de seconde 0 27 1 1 1181 43 2 9694 359 3 11892 440 4 11748 435 5 8195 303 6 4554 168 7 10930 404 8 7047 260 9 26627 986 10 105 3 Les fonctions pures, issues du lambda calcul, sont des fonctions anonymes. Ainsi, pour calculer 2^1, 2^2 ... 2^n, on peut définir la fonction PdD (puissance de deux) et l'appliquer à une liste, soit les instructions : PdD[x_] := 2^x ; Apply[ PdD, Range[n] ] ou définir la fonction pure # 2^# et l'intégrer comme argument 1 de Apply : Apply[ 2^#& , Range[n] ] Le symbole # désigne la variable courante et le symbole & indique la fin de définition de la fonction. En particulier, on utilise cette technique avec des fonctions sur liste, comme Map, Apply, Select. Par exemple, l'instruction Length[ Select[ Table[Random[Integer,100],{10}], #<50& ] ] indique combien, sur 10 nombres aléatoires entiers entre 1 et 100, sont inférieurs à 50. Une somme récursive comme : SumRec[0_] := 0 ; SumRec[n_] := n + SumRec[n-1] ; est encore plus longue à s'effectuer ; pour la valeur de n proposée (n = 100000) le nombre d'appels récursifs dépasse la puissance de la machine... Toutefois, Mathematica permet une construction dynamique grâce à l'écriture : SumRec[n_] := SumRec[n] = n + SumRec[n-1] ; L'expression SumRec[n_] := est la définition de la fonction SumRec dont n est l'argument (repéré par l'espace souligné) ; l'expression SumRec[n] = correspond à l'affectation pour la valeur n du résultat de la fonction. C'est un peu comme si SumRec construit un tableau SumRec avec les valeurs trouvées au fur et à mesure. Malheureusement, même avec cette construction, la barre des n = 100000 ne peut toujours pas être franchie. Ce genre de construction est particulièrement intéressant pour les suites du genre Fibonacci ou Ackerman. Le détail des fonctions de Mathematica peut être rendu plus explicite grâce à la session suivante où les In[] sont les entrées clavier et les Out[] les résultats produits par M athematica. Le ? est une demande de renseignements et << le chargement d'un fichier de commandes. Mathematica 2.0 for MS-DOS 386 Copyright 1988-91 Wolfram Research, Inc. In[1] := n = 3 Out[1] = 3 In[2] := v = Array[x,n] Out[2] = {x[1], x[2], x[3]} In[3] := Apply[f,v] Out[3] = f[x[1], x[2], x[3]] In[4] := Map[f,v] Out[4] = {f[x[1]], f[x[2]], f[x[3]]} In[5] := FoldList[f,x0,v] Out[5] = {x0, f[x0, x[1]], f[f[x0, x[1]], x[2]], f[f[f[x0, x[1]], x[2]], x[3]]} In[6] := << sumrec.m In[7] := ? SumRec Out[7] = Global`SumRec SumRec[0] := SumRec[0] = 0 SumRec[n_] := SumRec[n] = n + SumRec[n - 1] In[8] := SumRec[3] Out[8] = 6 In[9] := ? SumRec Out[9] = Global`SumRec SumRec[0] = 0 SumRec[1] = 1 SumRec[2] = 3 SumRec[3] = 6 SumRec[n_] := SumRec[n] = n + SumRec[n - 1]