VIDEOT4PE
◀◀ REWIND — на главную
● REC 00:05:5219 ИЮН 2026ФИЛОСОФИЯ · TYPESCRIPT

Экзистенция предшествует типизации

Сартр, any и ответственность за каждый интерфейс, который ты объявил

«Существование предшествует сущности» — значит, сначала ты есть, и только потом становишься кем-то. Никакого чертежа заранее не выдали. Человек — это any, который вынужден сам себя сузить.

// сартровская свобода
let self: any;

// сартровская тревога
self = whateverIChooseToBe;
// и никто, кроме меня, за эту строку не отвечает

Самая честная строчка про свободу, которую я знаю, написана не Сартром, а компилятором: Type 'unknown' is not assignable to type 'never'.

Дурная вера — это // @ts-ignore. Не то чтобы ошибки не было. Ты просто договорился с собой не смотреть. Сартр называл это самообманом: сделать вид, что за тебя решили обстоятельства, роль, легаси, дедлайн.

Мы осуждены быть свободными. И типизировать себя вручную.

Интерфейс — это обязательство. Ты объявляешь, кто ты, и дальше обязан этому соответствовать в каждой реализации. Свобода не в том, чтобы остаться any. Свобода в том, что тип выбираешь ты — и живёшь с ним.