booltyypin

Booltyyppi eli boolean-tyyppi on ohjelmointikielissä käytettävä data-tyyppi, joka kuvaa totuusarvoja: tosi (true) ja epätosi (false). Sitä käytetään ensisijaisesti ehtojen, päätösten ja loogisten operaatioiden yhteydessä.

Toteutus ja tallennus vaihtelevat kielestä riippuen. Usein bool on oma tiukka tyyppinsä, jonka arvo on joko tosi tai epätosi. Joissakin kielissä totuusarvoja voidaan ilmaista kokonaislukuina (esim. 0 ja 1) tai muuna konversiona, jolloin muunnokset tapahtuvat ohjelmointikielen sääntöjen mukaan. Lisäksi joissakin järjestelmissä on kolmitasoista logiikkaa: TRUE, FALSE ja UNKNOWN (tai NULL) kuten SQL:ssä.

Kielikohtaisia eroja on runsaasti. C ja C++ käyttävät bool-tyyppiä (tai _Bool C99:ssä); Java tukee boolean-arvoa; Pythonissa bool on aliluokka int; JavaScriptissä boolean on omana primitiivisenä arvona; SQL tukee BOOLEAN-tyyppiä ja sen arvoja TRUE, FALSE sekä UNKNOWN (NULL). Loogiset operaatiot kuten AND, OR ja NOT sekä lyhytkielto (short-circuit) vaikuttavat booltyypin käsittelyyn; joissakin kielissä totuusarvoja arvioidaan myös muista tyypeistä, jolloin konversiot voivat poiketa toisistaan.

Historia: boollogiikka perustuu George Booleen 1800-luvulla kehittämään boolean-algebraan, joka on keskeinen perusta digitaalisen laskennan ja ohjelmointikielten loogisille rakenteille. Nykykielissä booltyyppi on vakiintunut itsenäisenä, yleiskäyttöisenä valintojen työkaluna.