DanieleAssereto.it - I 3 TEOREMI APD

Daniele
Assereto

9 Luglio 2004
I 3 TEOREMI APD

Visto il successo del famoso teorema di Polizzi, e le sue applicazioni al mondo reale, è possibile identificarne una serie di 3, strettamente collegati tra di loro.

1 - Se non compila, è il compilatore
2 - Se compila, funziona
3 - Se funziona, non chiedere altro
4 - Consegniamo

Il primo è stato ideato da Daniele Assereto, nel corso dei suoi studi in Informatica presso l'Università degli Studi di Genova. Il teorema non fa altro che descrivere il comportamento di un programma e il suo legame con il programmatore: se il programma non viene compilato, la colpa non deve assolutamente ricadere sul programmatore, ma piuttosto sul compilatore, che è sicuramente bacato, da qualche parte.

Il secondo, e forse più famoso, è opera del genio di Stefano Polizzi, anche lui laureato presso il Dipartimento di Informatica all'Università degli Studi di Genova. Il teorema afferma che nel momento stesso in cui un programma viene compilato correttamente dal compilatore, questo eseguirà esattamente quello che il programmatore voleva che eseguisse in principio. Ne più, ne meno.

Il terzo teorema è opera di Raffaele Dell'aversana. Quando un programma funziona, il programmatore che ci si trova a che fare, che l'abbia sviluppato lui o meno, non deve assolutamente più preoccuparsi del come faccia a funzionare, e del perchè funzioni. Funziona, e basta.

Le conseguenze dei 3 teoremi APD sono più che evidenti nella vita di tutti i giorni di un programmatore. Consegniamo.