Forum de l’article

Introduction aux machines virtuelles

modération a priori

Ce forum est modéré a priori : votre contribution n’apparaîtra qu’après avoir été validée par un administrateur du site.

Qui êtes-vous ?
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.

Lien hypertexte

(Si votre message se réfère à un article publié sur le Web, ou à une page fournissant plus d’informations, vous pouvez indiquer ci-après le titre de la page et son adresse.)

Rappel de la discussion
Introduction aux machines virtuelles
Laurent Bloch - le 6 mai 2013

Une lectrice m’interpelle : « Question, pourquoi la répétition n’est-elle pas mise dans le même sac que l’alternative ? »

L’alternative c’est :
Si p alors a sinon b

La répétition c’est :
tant que p faire a
ou :
faire 10 fois a

Il y a des façons impures de réaliser cela, du genre :

début : faire a
si p aller à suite sinon aller à début
suite : b

qui réalisent en effet la répétition au moyen de l’alternative et de "aller à", mais ce qui est remarquable dans le théorème de Böhm et Jacopini, c’est qu’il montre qu’on peut se passer de la primitive "aller à", dont Edsger Dijkstra a monté les effets néfastes dans son célèbre article "Go To Statement Considered Harmful" (http://www.u.arizona.edu/~rubinson/copyright_violations/Go_To_Considered_Harmful.html).

En fait, tous les langages machine procèdent de la façon impure avec des commandes "aller à", et de ce point de vue tu as raison, mais avec des langages de plus haut niveau on peut s’en passer, et la plupart des étudiants des générations récentes n’ont jamais utilisé la construction avec "aller à", qui était notre pain quotidien dans ma jeunesse.