ссылки в слова превращать
Что я могу сказать? Нихуя не понятно без знания языка
Это типа Юнион питоновский или что?
Объявляется тип а - это как в питоне алиас. Там ожидается, что это должен быть объект с a: true == Literal[true] f: () => void == Callable[[None], None] или b: true == Literal[true] в функции идёт проверка если есть а в объекте, то вызывается f
Callable[[], None] тогда уж
Да, точно
Ну да, просто даже не понимаю где именно баг и что именно нужно исправлять, потому что TS - это структурная типизация
Ещё раз. Объект должен удовлетворять обоим типам или одному?
Тогда это юнион
Баг в том, что ты проверяешь значение a, а должен проверять соответствие типу
Не, я не должен проверять, тут речь о том, что это спокойно пропускает тайскрипт. Это как Protocol в питоне, но с type inferom
Обсуждают сегодня