Discussion :

[Echap]

Bonjours / Bonsoir tous le monde

Est ce qu'il y a des problèmes qui ne peut être résolu qu’avec l'utilisation de polymorphisme?
C’est à dire sans l'implémentation de ce concept il n’aura pas de solution!

ici ma question tourne autour deux axe

1- la modélisation
2- le langage en lui même



Cordialement

[thelvin]

Hello,

non.

Dans l'étude des langages informatique, il existe un terme, "Turing-complete", qui consiste à déterminer/savoir si un langage donné est Turing-complete ou pas.
En résumé ça signifie, si ce langage est capable ou pas de fournir les mêmes fonctionnalités qu'une machine de Turing pourrait.
Une machine de Turing, c'est une construction mathématique abstraite, censée représenter un ordinateur primitif. En résumé, l'idée de pouvoir faire la même chose qu'une machine de Turing, c'est "pouvoir faire la même chose qu'un ordinateur". Ou du moins, "pouvoir faire la même chose qu'un processeur relié à une mémoire centrale". Bref, être capable de faire le minimum vital attendu pour un ordinateur.

Sans surprise, la plupart des langages sont Turing-complete. Si un problème a une solution dans un langage Turing-complete, alors il a une solution dans tous les langages Turing-complete, peu importe à quel point il faut retravailler l'algorithme pour que ça marche.

Java est bien entendu Turing-complete en l'état. Mais interrogeons-nous sur ce que serait un Java sans polymorphisme.
Concrètement ce serait un genre de C++ mais sans la fonctionnalité de méthodes virtuelles. Ce qui, à son tour, est un genre de C mais dans lequel on range parfois son code dans des structures appelées "classes" parce que ça aide à organiser sa pensée en se disant qu'on travaille avec des "objets" représentés avec ces structures. Juste une manière d'organiser où on met son code, mais ce n'est jamais que du C.

Et C est Turing-complete, capable de résoudre n'importe quel problème soluble par une machine de Turing.
Donc Java sans polymorphisme l'est également.

Il n'y a aucun problème nécessitant l'existence du polymorphisme.
C'est juste que certains problèmes sont plus faciles à penser de cette manière. Comme pour les plus évidents, les patterns observateur, stratégie, visiteur ou décorateur.

[Echap]

il m'a fallu deux jours pour te dire merci beaucoup pour cette réponse très complète! car je me suis renseigné sur le turing machine!

Cordialement