réutiliser les concepts intéressants pour faire de meilleurs programmes
Apprendre Haskell permet d'écrire de meilleurs programmes, même dans d'autres langages.
Concepts
Aujourd'hui on va explorer des concepts vraiment cools issus de la programmation fonctionnelle moderne :
transparence référentielle
fonctions d’ordre supérieur
évaluation paresseuse
immuabilité
et les appliquer en JS !
Fonction impure
function diviserParDeux(nombre) {
var missile = lancerUnMissileNucleaire();
fairePorterLeChapeauAuDrManhattan(missile);
return nombre / 2;
}
Cette fonction a des effets de bordobservables qu'on ne peut pas deviner en regardant sa valeur de retour. Il faut donc faire constamment attention lorsqu'on la manipule !
Fonction pure
function ajouterCinq(nombre) {
return nombre + 5;
}
Cette fonction n'a pas d'effets de bord. Elle renvoie toujours le même résultat lorsqu'on l'appelle avec les mêmes arguments.
ajouterCinq(-4) === ajouterCinq(-4)
Transparence référentielle
Le résultat du programme ne change pas si on remplace une expression par une expression de valeur équivalente.
Utiliser des fonctions pures permet de raisonner sur son programme comme sur une équation.
Recommandations
Construire son programme avec un maximum de fonctions pures
La logique métier est fiable, sans surprise et aisément testable.
Isoler les fonctions qui ont des effets de bord
On sait quelles fonctions ont des effets de bord, ce qui permet d’être prudent lorsqu’on les manipule.
Concepts
transparence référentielle
fonctions d’ordre supérieur
évaluation paresseuse
immuabilité
Fonction d'ordre supérieur
En JS, les fonctions sont des objets de première classe (first-class citizen).
Une fonction d’ordre supérieur est une fonction qui possède au moins l'une des propriétés suivantes :
elle accepte au moins une autre fonction en paramètre
elle retourne une fonction en résultat
Exemple de fonction d'ordre supérieur
function appliquerDeuxFois(f, x) {
return f(f(x));
}
// ^ accepte une fonction en paramètre
function foisTrois(x) {
return x * 3;
}
appliquerDeuxFois(foisTrois, 7);
// --> (7 * 3) * 3 = 63
Intérêt des fonctions d'ordre supérieur
bien séparer les différentes tâches effectuées par nos fonctions
écrire des fonctions composables, modulables, paramétrables
Exemple !!
On va voir un exemple concret : les opérations sur les tableaux en JS.
villes.filter(function(item) {
// Si la ville est près de la mer,
// on renvoie true, sinon false
return item.mer;
});
// --> [ { nom: "Dunkerque", dep: 59,
// mer: true }
bibliothèque JS qui permet (notamment) de manipuler les collections
lazy depuis la v3
Exemple
var t = [0, 1, 2, 3, 4];
function plusUn(nb) {
console.log(nb + ' + 1');
if (nb > 2) console.log('Traitement long');
return nb + 1;
}
function petit(nb) {
console.log(nb + ' plus petit que 3 ?');
return nb < 3;
}
Sans Lo-Dash
var js = t
.map(plusUn)
.filter(petit)
.slice(0, 2);
0 + 1
1 + 1
2 + 1
3 + 1
Traitement long
4 + 1
Traitement long
1 plus petit que 3 ?
2 plus petit que 3 ?
3 plus petit que 3 ?
4 plus petit que 3 ?
5 plus petit que 3 ?
[ 1, 2 ]
Sans Lo-Dash
Avec Lo-Dash
var _ = require('lodash');
var lodash = _(t)
.map(plusUn)
.filter(petit)
.take(2)
.value();
0 + 1
1 plus petit que 3 ?
1 + 1
2 plus petit que 3 ?
[ 1, 2 ]
Avec Lo-Dash
Évaluation paresseuse
séparation
du Calcul, de la génération → où le calcul d'une valeur est-il défini ?
du Contrôle, de la condition d'arrêt → où le calcul d'une valeur se produit-il ?
colle qui permet d'assembler efficacement des (bouts de) programmes : facilite l'approche diviser pour régner
Avantages : peut augmenter la maintenabilité et les performances
Inconvénients : peut introduire de l'overhead (dépend pas mal de la techno)
Concepts
transparence référentielle
fonctions d’ordre supérieur
évaluation paresseuse
immuabilité
Immuabilité
Un objet immuable est un objet dont l'état ne peut pas être modifié après sa création.
Immuables en JS
booléens
nombres
chaines
var n = 10;
n = 10 + 1;
On a juste changé la référence (n), pas les données (10)
10 + 1 ne modifie ni 10 ni 1
Pas immuables en JS
objets
(et donc) tableaux
var objet = {
a: 1,
b: 'BATMAN',
};
var alias = objet;
objet.a = 2;
objet // { a: 2, b: 'BATMAN' }
alias // { a: 2, b: 'BATMAN' }
JavaScript Alongé : un livre avancé sur JavaScript ; il explique et met en place certains concepts vus ici
Why Functional Programming Matters : pourquoi les fonctions d'ordre supérieur et l'évaluation paresseuse sont parmi les meilleurs outils pour écrire des programmes modulaires
