Originariamente inviato da misterx
anni fa lessi su Amiga Magazine una prova molto tecnica su come far dimagrire un eseguibile e ti posso dire che l'articolo terminava dicendo che i compilatori oramai sono talmente specializzati che solo poche persone sono in grado di scrivere codice più breve ed afficace.
Magari non più breve, ma spesso più veloce. Il problema però è che spesso i compilatori non possono compiere alcune ottimizzazioni perché richiedono delle precondizioni non garantite dal linguaggio (vedi ad esempio il problema dell'aliasing in C e derivati), e verificarle effettivamente spesso è molto complesso per il compilatore, quando invece il programmatore potrebbe sapere che tali precondizioni sono sicuramente verificate.