À retenir
- Le code est traité comme une simple donnée manipulable.
- C'est le pilier de la famille des langages Lisp.
- Cela permet au programme de s'auto-modifier ou de s'étendre facilement.
L'homoiconicité est une propriété rare où le code d'un programme est écrit exactement avec la même structure que les données qu'il manipule. Pour faire une analogie, imaginez que vous construisiez une notice de montage LEGO en utilisant uniquement des briques LEGO : la notice et l'objet final sont faits de la même matière et peuvent être modifiés de la même manière.
Étymologie
Le mot vient du grec homos (semblable) et eikon (image). Il a été introduit dans les années 1960 pour décrire les langages où la représentation interne du programme est identique à sa structure externe.
Exemples d'usage
- Lisp : Tout le code est écrit sous forme de listes. L'expression
(+ 1 2)est à la fois une instruction d'addition et une liste de trois éléments. - Clojure : Un langage moderne qui utilise cette propriété pour permettre une manipulation puissante du code via des macros.
- Prolog : Où les règles et les faits partagent la même structure logique.
Cas d'usage
Ce concept est principalement utilisé dans la métaprogrammation (écrire des programmes qui génèrent ou modifient d'autres programmes). Il facilite la création de macros puissantes, l'analyse de code source et le développement de langages spécifiques à un métier (DSL).
Bonnes pratiques
Bien que puissante, l'homoiconicité peut rendre le code difficile à lire pour les débutants car la frontière entre "donnée" et "exécution" est floue. Il est recommandé de l'utiliser pour créer des abstractions élégantes sans abuser des macros qui pourraient rendre le débogage complexe.
Synonymes
Antonymes
Conseil
Pour bien comprendre ce concept, essayez de manipuler une liste en Lisp ou en Clojure. Vous réaliserez vite que transformer une liste de nombres ou transformer une ligne de code se fait avec les mêmes fonctions.
Questions fréquentes
Pourquoi mon langage habituel (Python, C++, Java) n'est pas homoiconique ?
Dans ces langages, le code texte doit être transformé par un compilateur en un arbre complexe (AST) avant d'être compris, alors que dans un langage homoiconique, le programmeur manipule directement cet arbre.
Est-ce que c'est lié à l'intelligence artificielle ?
Historiquement oui, car cette flexibilité permettait aux programmes de 'raisonner' et de modifier leur propre logique, ce qui était très prisé dans les débuts de l'IA avec Lisp.
Est-ce difficile à apprendre ?
Le concept demande une gymnastique mentale initiale (le 'déclic'), mais il simplifie énormément la programmation une fois maîtrisé car la syntaxe devient extrêmement régulière.