Qu'est-ce que l'abstraction ?
L'abstraction est le processus de simplification qui consiste a masquer les details complexes d'implementation pour ne montrer que les aspects essentiels pertinents pour l'utilisateur. En programmation, l'abstraction permet de travailler a un niveau conceptuel plus eleve sans se soucier des mecanismes sous-jacents. C'est l'un des quatre piliers de la programmation orientee objet, avec l'encapsulation, l'heritage et le polymorphisme.
Niveaux d'abstraction
L'informatique est construite en couches d'abstraction empilees. Au plus bas niveau : les circuits electroniques et le binaire. Au-dessus : le langage assembleur. Puis les langages de programmation de haut niveau. Ensuite les frameworks et bibliotheques. Enfin les API et interfaces utilisateur. Chaque couche masque la complexite de la couche inferieure. Un developpeur web n'a pas besoin de comprendre les transistors pour creer un site. Cette stratification permet a chaque specialiste de travailler a son niveau.
Abstraction en POO
En POO, l'abstraction se manifeste par les classes abstraites et les interfaces. Une classe abstraite definit un modele avec des methodes abstraites (sans implementation) que les sous-classes concretisent. Une interface definit un contrat pur (en Java, TypeScript, C#) sans aucune implementation. L'abstraction permet de programmer contre des interfaces plutot que des implementations concretes, ce qui est la base du principe d'inversion de dependances (SOLID).
Abstraction en programmation fonctionnelle
En programmation fonctionnelle, l'abstraction passe par les fonctions d'ordre superieur (map, filter, reduce abstraient les boucles), les closures (encapsulent l'etat), et la composition de fonctions (construire des operations complexes a partir de fonctions simples). Les monades (Optional, Promise, Either) sont des abstractions qui encapsulent des effets (absence de valeur, asynchronisme, erreurs) derriere une interface uniforme.
Bonnes pratiques et pieges
Le bon niveau d'abstraction simplifie le code et le rend plus flexible. Trop d'abstraction cree de la complexite inutile ("astronaut architecture") : des couches de classes abstraites et d'interfaces pour des cas qui ne changeront jamais. Trop peu d'abstraction produit du code duplique et rigide. La regle YAGNI (You Aren't Gonna Need It) recommande de ne pas creer d'abstractions speculatives. L'abstraction doit emerger du besoin reel, pas d'un design theorique. Trois cas similaires justifient generalement une abstraction.