Логічний тип даних в інформатиці

Типів даних в інформатиці безліч. Вони поділяються на посилальні типи і типи значень. Типи значень працюють зазвичай швидше, тому що зберігаються в стеку і управляються безпосередньо. Це чисельні змінні та логічні типи даних. Посилальні зберігають у стеку посилання на купу, а в купі вже знаходиться реалізація типу. Посилальні типи даних — це рядкові змінні, динамічні або глобальні змінні, вбудовані або користувальницькі класи.

2 листопада 1815 року в Англії народився чоловік, який став відомим математиком і логіком. Саме на честь нього названо один з типів даних в програмуванні — Boolean, логічний тип даних.

Тип даних boolean — це «примітивний» тип. Поширений він повсюдно: використовувався в мові програмування Algol 60 (1960-ті), Fortran, Pascal, C++, є у всіх сучасних мовах програмування. Булева змінна чудова тим, що має тільки два значення: ІСТИНА (true, 1) або FALSE (хибність, 0). Зазвичай реалізується через числовий тип даних, більш того, більшість мов програмування дозволяють використовувати її і в арифметичних операціях, попередньо привівши до чисельного типу, виходячи з правил приведення типів для конкретної мови програмування.