Twitter
LinkedIn
Google+
YouTube
Facebook
Daniele Assereto
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.

Share/Save/Bookmark




Lascia un commento:
Nome:  Per favore, scrivi i caratteri 1, 4, 3 del codice pohy
Email/web:  [facoltativo] Codice: 
Commento: 


ULTIMI COMMENTI

05/08: My BEST 10 ALBUMS
05/08: My BEST 10 ALBUMS
13/07: Ipse dixit
13/07: Cipolla
13/07: Ezio e le Scorie Lese
13/07: Cipolla
13/07: Cipolla
24/01: Cipolla
24/01: Cipolla
30/05: Ciambelle
30/05: Ciambelle
14/03: Ipse dixit
19/01: Steganografia Metallorum
03/01: Professioni
03/01: Professioni
27/11: PENDULUM
24/11: Professioni
19/07: Nevermore
19/07: Nevermore
30/12: Math

DOWNLOAD ZIP

Antro del Fato: 1, 2, 3, 4
Control Denied: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
Control Denied 2: 1, 2, 3
Imagine 7D: 1, 2, 3, 4
Le sole 24 Ore: 1
Lupus: 1