Optiontyyppi
Optiontyyppi on ohjelmointikielen tietotyyppi, joka edustaa arvoa, jonka olemassaolo ei ole varmaa. Se voi olla arvo tai arvo puuttuu. Tällainen rakenne auttaa välttämään null-arvoihin liittyviä virheitä, kun poissaoloa käsitellään eksplisiittisesti.
Optiontyypin rakenne on kaksi tilaa: oleva arvo ja puuttuva arvo. Kielestä riippuen tilat ovat nimettyjä, esimerkiksi
Operoinnin osalta optiontyyppi tukee tyypillisiä toimintoja: arvon luonti (Some(value) tai None), tilan tarkistus, muokkaus (map), ketjuttaminen
Käyttökohteet: optiontyyppi on yleinen ratkaisu tilanteissa, joissa toiminto voi palauttaa arvon tai sen puuttuvan tuloksen, kuten
Esimerkkejä kielistä: Rustin Option<T> koostuu Some(T) ja None; Haskellin Maybe a Just a ja Nothing; Swiftin Optional;