tag:blogger.com,1999:blog-5649051612182365163.post8806988883498629852..comments2024-01-01T11:07:38.949+01:00Comments on Roberto Dadda, ciclostilato in proprio: Della iper-semplificazione dei messaggi...Anonymoushttp://www.blogger.com/profile/12706973611214703780noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-5649051612182365163.post-13683550295629747312011-01-11T11:10:27.341+01:002011-01-11T11:10:27.341+01:00While, Do-While, For, etc... sono tutti simulabili...While, Do-While, For, etc... sono tutti simulabili col goto. Se simuli un ciclo while con una label ed un paio di goto non ottieni qualcosa di sensibilmente meno leggibile (e intellegibile!) del while stesso. E nel caso della logica di Floyd-Hoare, puoi ancora usare i teoremi per dimostrare che date le precondizioni il programma rispetta le postcondizioni.<br /><br />Se invece inizi a saltare qua e là come la vispa Teresa tra l'erbetta, salta sia la leggibilità che la dimostrabilità. A Dijkstra, per inciso, interessava quest'ultima. :-PAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-5649051612182365163.post-84685997384943776852011-01-11T00:17:46.405+01:002011-01-11T00:17:46.405+01:00Concordo, l'uso-abuso del goto è controproduce...Concordo, l'uso-abuso del goto è controproducente: cosa intendi con strutture di controllo normalizzate ?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-5649051612182365163.post-43606209730303078322011-01-10T20:00:29.421+01:002011-01-10T20:00:29.421+01:00Concordo, molti riducono la programmazione struttu...Concordo, molti riducono la programmazione strutturata a un banale "si toglie il goto" senza considerare che i goto ci possono stare benissimo, basta che non siano spaghetti, ma strutture di controllo normalizzate.Anonymoushttps://www.blogger.com/profile/12706973611214703780noreply@blogger.comtag:blogger.com,1999:blog-5649051612182365163.post-10920349411415931412011-01-10T19:15:47.586+01:002011-01-10T19:15:47.586+01:00In effetti... Pochi giorni fa mi sono ritrovato a ...In effetti... Pochi giorni fa mi sono ritrovato a discutere con altre persone circa l'uso del goto (sic) con diversi che hanno tirato in ballo Dijkstra. <br /><br />Oh, ce ne fosse stato uno che avesse letto quello che ha scritto (ed è tanta - e bellissima - roba!), che parlasse di metodi formali postulazionali, di Floyd-Hoare, e di come il goto non sia contemplato in quel metodo formale (e di perché stesse tanto a cuore ad EWD ovviamente). :-PAnonymousnoreply@blogger.com