C'est très confus tout ça, et ça n'a pas l'air lié du tout ni à Java, ni à la thèse de Gosling (ou plutôt, comme on ne sait rien de son travail de thèse, il est impossible de dire si ça a un rapport ou pas). Le mot "algèbre" est utilisé pour dire beaucoup de choses et deux domaines informatiques qui s'y réfèrent n'ont pas nécessairement de lien. J'aurais aimé retrouver quelque part le mot d'ordre "code as algebra" que Gosling a l'air de trouver si important et suggestif, mais rien de s'y réfère.
Dans ton premier lien on trouve beaucoup de preuve, un peu de "spécification", et des "process algebra", bref des calculs formels utilisés en concurrence par exemple.
La question de XQery est encore différente, si je comprends bien (je ne connais pas XQuery) il s'agit plus d'algèbre au sens de d'un ensemble d'opération ayant une sémantique bien définie qui permet de construire des objets (requêtes). Sur les BDD classiques on parle de "relational algebra".
Enfin, la partie sur la Dataflow analysis me semble ne pas avoir spécialement grand chose avec de l'algèbre (enfin on peut trouver de l'algèbre partout, et modéliser beaucoup de chose comme des structures algébriques).
(Par ailleurs le fait de manipuler un AST ou, même, une forme intermédiaire utilisée dans un compilateur, n'indique en rien qu'on s'intéresse au lambda-calcul, au typage, et aux modèles théoriques de celui-ci.)
Il y a d'autres courants de l'informatique théorique qui se réclament de l'algèbre ou y sont lié sans faire du bruit à ce sujet. Les questions de résolution de contrainte ont effectivement souvent une saveur un peu algébrique (il s'agit de manipulation formelle d'expressions syntaxiques qui ont un modèle sémantique). On parle aussi d'une algebra of programming au sujet des gens qui isolent des combinateurs expressifs pour la programmation fonctionelle : Squiggol, Lenses&Bananas, etc. Troisième exemple tiré du chapeau, on dit que Tony Hoare retravaille sur les sémantiques par pré-postcondition avec une approche plus algébrique.
Rien de tout cela, cependant, ne semble lié à la conception de Java.
[^] # Re: Encore le type Null...
Posté par gasche . En réponse à la dépêche Dart va‐t‐il remplacer JavaScript comme langage dans les navigateurs ?. Évalué à 1.
C'est très confus tout ça, et ça n'a pas l'air lié du tout ni à Java, ni à la thèse de Gosling (ou plutôt, comme on ne sait rien de son travail de thèse, il est impossible de dire si ça a un rapport ou pas). Le mot "algèbre" est utilisé pour dire beaucoup de choses et deux domaines informatiques qui s'y réfèrent n'ont pas nécessairement de lien. J'aurais aimé retrouver quelque part le mot d'ordre "code as algebra" que Gosling a l'air de trouver si important et suggestif, mais rien de s'y réfère.
Dans ton premier lien on trouve beaucoup de preuve, un peu de "spécification", et des "process algebra", bref des calculs formels utilisés en concurrence par exemple.
La question de XQery est encore différente, si je comprends bien (je ne connais pas XQuery) il s'agit plus d'algèbre au sens de d'un ensemble d'opération ayant une sémantique bien définie qui permet de construire des objets (requêtes). Sur les BDD classiques on parle de "relational algebra".
Enfin, la partie sur la Dataflow analysis me semble ne pas avoir spécialement grand chose avec de l'algèbre (enfin on peut trouver de l'algèbre partout, et modéliser beaucoup de chose comme des structures algébriques).
(Par ailleurs le fait de manipuler un AST ou, même, une forme intermédiaire utilisée dans un compilateur, n'indique en rien qu'on s'intéresse au lambda-calcul, au typage, et aux modèles théoriques de celui-ci.)
Il y a d'autres courants de l'informatique théorique qui se réclament de l'algèbre ou y sont lié sans faire du bruit à ce sujet. Les questions de résolution de contrainte ont effectivement souvent une saveur un peu algébrique (il s'agit de manipulation formelle d'expressions syntaxiques qui ont un modèle sémantique). On parle aussi d'une algebra of programming au sujet des gens qui isolent des combinateurs expressifs pour la programmation fonctionelle : Squiggol, Lenses&Bananas, etc. Troisième exemple tiré du chapeau, on dit que Tony Hoare retravaille sur les sémantiques par pré-postcondition avec une approche plus algébrique.
Rien de tout cela, cependant, ne semble lié à la conception de Java.