Lazynarvojen

Lazynarvojen on termi, jota käytetään kuvaamaan arvoja, joiden laskenta tapahtuu laiskasti. Tämä tarkoittaa, että todellinen tulos ei muodostu heti vaan vasta silloin, kun arvoa todella tarvitaan. Laiskuus on keskeinen ominaisuus monissa funktionaalisissa kielissä ja erityisesti non-strict -periaatteisiin pohjautuvissa kielissä, kuten Haskellissa.

Periaate toteutetaan usein käyttämällä viivästettyjä laskutoimituksia, eli thunkkeja. Kun arvoa tarvitaan, thunkin sisältö suoritetaan ensimmäistä kertaa, ja tulos tallennetaan seuraavaa käyttökertaa varten. Tämä pakottaminen mahdollistaa esimerkiksi loputtomien listojen ja monimutkaisten koostumusten käytön ilman etukäteen määritettyä kokonaisarvoa.

Hyödyt ovat muun muassa mahdollisuus käsitellä loputtomia tai suuria rakenteita sekä vähentää turhaa laskentaa sekä helpottaa koodin modulointia. Haittoja ovat muistinkäytön hallinta, mahdolliset muistivuodot, ja vaikeampi ohjelman looginen seuraaminen, sillä suoritusaikataulu ei ole ennakoitavissa.

Esimerkki Haskellista: take 10 [0..] palauttaa luvut 0–9. Lista [0..] on loputon, mutta take rajoittaa suorituksen käytännössä kymmeneen arvoon. Tämä käytäntö pohjautuu lazynarvojen laskentaan ja viivästettyyn evaluointiin.

Lisätietoja voidaan löytää käsitteistä non-strict evaluation, thunkit ja memoization sekä eroja lazy- ja strict-kielien välillä.