ブーリアン型
Schemeでは真偽値は #t と #f であり、if などでは #f 以外のあらゆる値(特に、空リスト '() も)が真として扱われる。
Ada では、Boolean は Standard パッケージにあり、False および True という値をとる列挙型として定義されている。ここで、False < True である。
比較演算子(=、/=、<、<=、>、>=)は Boolean を含めた全ての列挙型に適用可能である。ブール演算子 and、or、xor、not が Boolean について定義されており、その派生型にも適用可能である。ブール演算子は Boolean の配列にも適用可能である。