Muuttumattomien

Muuttumattomien käsite viittaa arvoihin tai olioksiin, joita ei voi muuttaa niiden luomisen jälkeen. Informaation käsittelyssä immutability tarkoittaa, että muuttujalle annettu arvo pysyy muuttumattomana; toimenpiteet, joiden tavoitteena on muuttaa arvo, luovat uuden olion ja palauttavat sen. Tämä periaate on keskeinen monissa ohjelmointikielissä ja sen käyttöönotossa on sekä etuja että haasteita.

Informaatioteknologiassa immutability on erityisen tärkeää funktionaalisessa ohjelmoinnissa. Muuttumattomuus auttaa takaamaan referenssivirheiltä suojautumisen ja helpottaa rinnakkaista suoritusta sekä virheiden paikantamista. Käytännössä muuttumattomat oliot voivat sopia saumattomasti jakamiseen eri säikeiden kesken, mikä parantaa turvallisuutta.

Esimerkkejä immutabiliteetista ohjelmointikielissä ovat muun muassa Haskellin ja Erlangin oletusmalli sekä Clojuren immutabeiden rakenteiden suosiminen. Java-ympäristössä yleisesti tunnettu esimerkki on String-luokka, jonka ilmentymä on immutabea. Pythonissa tuple on immutabea kun taas lista on muunneltava. Joissakin kielissä on suoraa tukea immutabileille tietotyypeille tai rakenteille, kuten "frozen"-vaihtoehdot.

Immutabilityyn liittyy sekä edut että kustannukset. Edut sisältävät helpomman virheenkorjauksen, paremman luotettavuuden ja helpomman optimoinnin sekä paremman yhteensopivuuden rinnakkaisen laskennan kanssa. Haasteina voivat olla suuremman muistinkulutuksen ja tavanomaisen muokkauksen tarvetta aiheuttava kopiointi sekä monimutkaisempien, muuttuvia rakenteita käyttävien algoritmien toteuttaminen.