Почему в интерфейс не записывается тип boolean?

Question

[madc0de]

const q = true;

interface A {
    a?: typeof q // по идее же должен тип boolean задаться переменной
}

const a: A = {a: true} // все ок
const a: A = {a: false} // ошибка

Comments

[WbICHA]

Так ты посмотри какой тип у q.

[madc0de]

Boolean
Ниже уже объяснили почему в итоге он true. Прочитай пожалуйста

[WbICHA]

madc0de, лучше ты его прочти. Ещё раз. И мой комментарий.
Тип твоей переменной на 50% не булин.

[madc0de]

WbICHA,

[WbICHA]

madc0de, ты сейчас серьёзно тайпоф жса к тайпофу тса притянул?

[madc0de]

WbICHA, объясни пожалуйста
как еще проверять тип переменной?
я знаю об этих способах

[WbICHA]

madc0de, мышку на переменную навести.

Answer 1

[Дмитрий Беляев]

В TypeScript есть литеральные типы ('some string', 1, 2, 3, true, false).
Значение константы поменять нельзя, поэтому TypeScript выводит для них литеральный тип.
Поэтому тип q будет не boolean, а true.

Comments

[Alexandroppolus]

Что любопытно, даже если для переменной указать тип и потом присвоить значение, всё равно typeof берет максимально узкий тип:

let q: boolean;
q = true;

interface A {
    a?: typeof q // по идее же должен тип boolean задаться переменной
}

const a: A = {a: true} // все ок
const b: A = {a: false} // ошибка

если забанить вторую строку или хотя бы обернуть в неочевидное для тайпскрипта условие, то остается boolean

[WbICHA]

Alexandroppolus, ТС умный!)
А вот так уже он не знает что будет внутри и будет булин:
q = Math.random() > 0.5 ? true : false;

[Alexandroppolus]

WbICHA, да сложно сказать насчет умного..

вот такой результат ТС не может промыслить:
q = true ? true : false;

[WbICHA]

Alexandroppolus, думаю разрабы тса не имплементили и не собираются имплементить проверку тернарников банально по той причине, что это не имеет смысла в реальном мире.)