Enfin, voila, pour le peu que j ai vu des projets de l INRIA, ca reste assez decevant. A par en prepa / université, je vois pas ou ils sont utilisés tous ces langages.
Je ne pense pas que le but de l'INRIA soit de fournir le nouveau langage utilisé en prépa... et d'ailleurs c'est déjà fait puisqu'ils utilisent caml.
Les langages qui sortent de l'INRIA sont souvents enseignés au départ dans l'université à laquelle le langage est rattaché, puis dans d'autres au gré de l'utilisation de ses langages par les équipes/thésards qui l'utilisent. SmartEiffel est enseignés dans bon nombre d'universités, et même à l'étranger par exemple.
Mais je crois que le but d'un labo de recherche dans le domaine des langages informatiques, c'est de mettre le doigt sur un nouveau paradigme de programmation, même si ce n'est pas la première implantation de la chose qui sera retenue. De ce point de vue, TOM sort un peu des chemins battus puisqu'il propose un langage dont on pense qu'il peut vraiment apporter un plus tout de suite à l'industrie. Ca ne l'empêche pas d'introduire des notions intéressantes en recherche comme les ilôts formels, ou la combinsaison de stratégies... d'ailleurs puisqu'on en parle la sortie de TOM peut être certifiée à chaque compilation à l'aide des prouveurs coq et zenon.
[^] # Re: Et beh...
Posté par _ . En réponse à la dépêche Sortie de TOM 2.3. Évalué à 2.
Je ne pense pas que le but de l'INRIA soit de fournir le nouveau langage utilisé en prépa... et d'ailleurs c'est déjà fait puisqu'ils utilisent caml.
Les langages qui sortent de l'INRIA sont souvents enseignés au départ dans l'université à laquelle le langage est rattaché, puis dans d'autres au gré de l'utilisation de ses langages par les équipes/thésards qui l'utilisent. SmartEiffel est enseignés dans bon nombre d'universités, et même à l'étranger par exemple.
Mais je crois que le but d'un labo de recherche dans le domaine des langages informatiques, c'est de mettre le doigt sur un nouveau paradigme de programmation, même si ce n'est pas la première implantation de la chose qui sera retenue. De ce point de vue, TOM sort un peu des chemins battus puisqu'il propose un langage dont on pense qu'il peut vraiment apporter un plus tout de suite à l'industrie. Ca ne l'empêche pas d'introduire des notions intéressantes en recherche comme les ilôts formels, ou la combinsaison de stratégies... d'ailleurs puisqu'on en parle la sortie de TOM peut être certifiée à chaque compilation à l'aide des prouveurs coq et zenon.