«Существование предшествует сущности» — значит, сначала ты есть, и только потом становишься кем-то. Никакого чертежа заранее не выдали. Человек — это any, который вынужден сам себя сузить.
// сартровская свобода
let self: any;
// сартровская тревога
self = whateverIChooseToBe;
// и никто, кроме меня, за эту строку не отвечает
Самая честная строчка про свободу, которую я знаю, написана не Сартром, а компилятором: Type 'unknown' is not assignable to type 'never'.
Дурная вера — это // @ts-ignore. Не то чтобы ошибки не было. Ты просто договорился с собой не смотреть. Сартр называл это самообманом: сделать вид, что за тебя решили обстоятельства, роль, легаси, дедлайн.
Мы осуждены быть свободными. И типизировать себя вручную.
Интерфейс — это обязательство. Ты объявляешь, кто ты, и дальше обязан этому соответствовать в каждой реализации. Свобода не в том, чтобы остаться any. Свобода в том, что тип выбираешь ты — и живёшь с ним.