Leniwa ocena odnosi się do różnych koncepcji, które mają na celu uniknięcie oceny wyrażenia, chyba że jego wartość jest potrzebna, oraz udostępnienie wyników oceny wyrażenia wszystkim jego zastosowaniom, dzięki czemu żadne wyrażenie nie musi być oceniane więcej niż raz.