Wartościowanie leniwe

Ten artykuł od 2012-10 wymaga zweryfikowania podanych informacji.

Należy podać wiarygodne źródła w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu.
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Wartościowanie leniwe (ang. lazy evaluation, ewaluacja leniwa) – strategia wyznaczania wartości argumentów funkcji tylko wtedy, kiedy są potrzebne (na żądanie).

Zaletami tego podejścia są możliwość obliczenia wartości funkcji nawet wtedy, gdy nie jest możliwe wyznaczenie wartości któregoś z jej argumentów, o ile tylko nie jest on używany, wzrost wydajności dzięki uniknięciu wykonywania niepotrzebnych obliczeń oraz możliwość tworzenia nieskończonych struktur danych. Wadą wartościowania leniwego jest to, że mogą nie wystąpić (być może oczekiwane) skutki uboczne procesu wyznaczania wartości argumentów.

Przeciwieństwem wartościowania leniwego jest wartościowanie zachłanne, stosowane w większości popularnych języków programowania.

Przykładem wartościowania leniwego jest^{[według kogo?]} obsługa operatorów logicznych w większości języków programowania. Wyrażenie w języku C postaci:

a = funkcja_B(b) || funkcja_C(c) ? b : c;

Przypisanie do zmiennej a wartości b nastąpi gdy:

• funkcja_B(b) zwróci prawdę, wtedy funkcja_C(c) nie zostanie wykonana
• funkcja_B(b) zwróci fałsz, a funkcja_C(c) zwróci prawdę

W pierwszym przypadku nie nastąpi wywołanie funkcji funkcja_C(c) w związku z czym nie nastąpią jej efekty uboczne. W podobny sposób wykonany zostanie kod:

a = funkcja_B(b) && funkcja_C(c) ? b : c;

Przypisanie do zmiennej a wartości c nastąpi gdy:

• funkcja_B(b) zwróci fałsz, wtedy funkcja_C(c) nie zostanie wykonana
• funkcja_B(b) zwróci prawdę, a funkcja_C(c) zwróci fałsz

Z tego typu leniwego wartościowania korzysta idiom perla postaci:

funkcja(X) || die("mamy problem");

który określa, że jeżeli funkcja(X) nie zwróci prawdy, to znaczy, że mamy problem i należy zakończyć wykonanie programu.

Jednak oba wzmiankowane powyżej języki dokonują zachłannej ewaluacji wywołań funkcji, ponieważ w obu językach wartości argumentów funkcji są obliczane przed jej wykonaniem.

Przykładami języków stosujących leniwe wartościowanie są Haskell oraz D.

• przekazywanie argumentów przez nazwę