(1)
- La vecchia utility
make
esamina i timestamp e, se l'output è più recente dell'input, salta (inutile, dispendiosa in termini di tempo) la ricompilazione di ad es. File C. - Lo stesso vale per molte lingue e compilatori. La generazione di miniature "pigro" nelle applicazioni Web salta quei pollici che sono più recenti dell'immagine di origine.
- Gli strumenti di sincronizzazione file "intelligenti" fanno lo stesso, osservando i timestamp, per ridurre il volume di trasferimento.
Mi riferivo a questo come "pigro" . Tuttavia, guardando le citazioni sul web, il termine "pigro" in Informatica sembra davvero significare qualcosa di diverso: "fai qualcosa il più tardi possibile".
- carica solo quella parte aggiuntiva quando è necessario
- inizializza pigramente, ovvero al più tardi quanto necessario
- valuta solo quella parte dell'equazione, quando ci arrivi ...
Quindi il mio termine è sbagliato? E quale sarebbe più corretto, per tutte le ottimizzazioni skip "is-newer-based"?