Merci pour la référence. Si ça t'intéresse j'ai trouvé les slides ici. Sur les slides, nulle mention du typage effectivement (à part implicitement dans le fait qu'Algol et Simula étaient statiquement typés), donc rien de concluant d'un point de vue "théorie du typage1" (sans parler du lambda-calcul).
Par ailleurs, j'ai essayé de trouver ce qu'il entend par "code as algebra", sans succès (chercher ça sur Google ne donne que des liens vers des retranscriptions de cette présentation), à croire que sa thèse et son idée clé ont complètement disparu de la surface du web.
1: pour une perspective historique : Algol 68 avait des conversions implicites entre type très (trop) élaborées, et Simula a introduit la notion d'héritage et de sous-typage (mais les tableaux étaient, semble-t-il, invariants). Algol était extrêmement novateur dans le sens où c'est un des premiers, voire le premier, langage(s) avec un système de typage fort et clairement défini. La théorie est cependant venue après, au début des années 70, avec les travaux de Scott en particulier; les langages inspirés d'Algol (Algol 68, Pascal) n'ont pas respecté cette idée formelle du typage (ce n'est pas ce qui intéressait leurs créateurs, je pense), et Simula était à nouveau basé sur une idée informelle du typage, sans théorie bien précise derrière (ce n'est pas vraiment une critique, une grande partie des nouvelles constructions de langages de programmation ont été introduites d'abord, et bien typées seulement dans un second temps). Pour une présentation détaillée des fondements théoriques et de l'influence du langage Algol, cf. l'introduction de "Algol-like languages", un livre sur l'aspect théorique par des chercheurs en langages de programmation.
[^] # 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é à 2.
Merci pour la référence. Si ça t'intéresse j'ai trouvé les slides ici. Sur les slides, nulle mention du typage effectivement (à part implicitement dans le fait qu'Algol et Simula étaient statiquement typés), donc rien de concluant d'un point de vue "théorie du typage1" (sans parler du lambda-calcul).
Par ailleurs, j'ai essayé de trouver ce qu'il entend par "code as algebra", sans succès (chercher ça sur Google ne donne que des liens vers des retranscriptions de cette présentation), à croire que sa thèse et son idée clé ont complètement disparu de la surface du web.
1: pour une perspective historique : Algol 68 avait des conversions implicites entre type très (trop) élaborées, et Simula a introduit la notion d'héritage et de sous-typage (mais les tableaux étaient, semble-t-il, invariants). Algol était extrêmement novateur dans le sens où c'est un des premiers, voire le premier, langage(s) avec un système de typage fort et clairement défini. La théorie est cependant venue après, au début des années 70, avec les travaux de Scott en particulier; les langages inspirés d'Algol (Algol 68, Pascal) n'ont pas respecté cette idée formelle du typage (ce n'est pas ce qui intéressait leurs créateurs, je pense), et Simula était à nouveau basé sur une idée informelle du typage, sans théorie bien précise derrière (ce n'est pas vraiment une critique, une grande partie des nouvelles constructions de langages de programmation ont été introduites d'abord, et bien typées seulement dans un second temps). Pour une présentation détaillée des fondements théoriques et de l'influence du langage Algol, cf. l'introduction de "Algol-like languages", un livre sur l'aspect théorique par des chercheurs en langages de programmation.