Maintenant, une tres rapide considération algorithmique permet de dire que tout programme optimal contient au plus 1 saut inconditionnel ( tout autre saut inconditionnel pouvant etre linearisé moyennant insertion du code appelé ).
Donc, tous les autres sauts sont soumis à conditions.
Il devient donc interressant de considerer non pas les boucles, sauts comme risqué mais ce qui conditionne ces boucles et sauts.
la relecture de l'article de Dijkstra en gardant a l'esprit cela, permet de vois un sens nouveau non pour les differents types de sauts abordé mais sur le concept meme des conditions sous-jacent à tout saut.
Il serait judicieux d'ecrire un nouvel article exposant le probleme des explosions combinatoire des cas à traiter lors d'insertion de series de conditions et de poser le reel probleme de la quasi totalité des langages de programmation qui introduit la notion de condition comme etant une notion explicite et inherante au langage : le cas le plus flagrant reste les soit disant langage objet dont les codes sources utilisent massivement les if & co alors que la quasi totalité des problemes peuvent se resoudre par les fameux concepts de la programmation objets que sont l'héritage ( multiple ou non ), l'encapsulation et autres abstractions ...
l'essentiel des bugs ne sont ils pas essentiellement des problemes de conditions mal gérés ? ( verification de la taille d'une allocation, verification d'une allocation, verification de droits, ... )
# "condition statements considered harmful" serait un bon titre
Posté par Mouns . En réponse au journal A mort les boucles. Évalué à 1.
Maintenant, une tres rapide considération algorithmique permet de dire que tout programme optimal contient au plus 1 saut inconditionnel ( tout autre saut inconditionnel pouvant etre linearisé moyennant insertion du code appelé ).
Donc, tous les autres sauts sont soumis à conditions.
Il devient donc interressant de considerer non pas les boucles, sauts comme risqué mais ce qui conditionne ces boucles et sauts.
la relecture de l'article de Dijkstra en gardant a l'esprit cela, permet de vois un sens nouveau non pour les differents types de sauts abordé mais sur le concept meme des conditions sous-jacent à tout saut.
Il serait judicieux d'ecrire un nouvel article exposant le probleme des explosions combinatoire des cas à traiter lors d'insertion de series de conditions et de poser le reel probleme de la quasi totalité des langages de programmation qui introduit la notion de condition comme etant une notion explicite et inherante au langage : le cas le plus flagrant reste les soit disant langage objet dont les codes sources utilisent massivement les if & co alors que la quasi totalité des problemes peuvent se resoudre par les fameux concepts de la programmation objets que sont l'héritage ( multiple ou non ), l'encapsulation et autres abstractions ...
l'essentiel des bugs ne sont ils pas essentiellement des problemes de conditions mal gérés ? ( verification de la taille d'une allocation, verification d'une allocation, verification de droits, ... )