À ce niveau je n'essaie même plus de chercher un rapport avec les types; juste quel est le rapport entre algèbre et programmes. Et j'ai clairement souvenir avoir vu en cours qu'il y avait une correspondance entre théorie des groupes et théorie des graphes d'une part (donc que l'algèbre peut être utilisée sur des graphes représentant du code par exemple), et qu'une formule algébrique peut être représentée sous forme d'arbre d'autre part — et donc on peut manipuler un AST et lui faire subir tout un tas d'outrages^Wde transformations qui restent équivalentes au programme initial.
C'est cool de me donner de la lecture cependant. :-)
[^] # Re: Encore le type Null...
Posté par lasher . En réponse à la dépêche Dart va‐t‐il remplacer JavaScript comme langage dans les navigateurs ?. Évalué à 2.
À ce niveau je n'essaie même plus de chercher un rapport avec les types; juste quel est le rapport entre algèbre et programmes. Et j'ai clairement souvenir avoir vu en cours qu'il y avait une correspondance entre théorie des groupes et théorie des graphes d'une part (donc que l'algèbre peut être utilisée sur des graphes représentant du code par exemple), et qu'une formule algébrique peut être représentée sous forme d'arbre d'autre part — et donc on peut manipuler un AST et lui faire subir tout un tas d'outrages^Wde transformations qui restent équivalentes au programme initial.
C'est cool de me donner de la lecture cependant. :-)