169 похожих чатов

Как сделать narrowing в этом случае? С функцией TS не

видет, а вот напрямую без проблем (вторая фотография)

7 ответов

5 просмотров
User-Tate Автор вопроса

Я использовал type predicates, но вроде это говно-код))

const isFunction = (value: unknown): value is (...args: never) => unknown => { return typeof value === "function" }

User-Tate Автор вопроса
Евгений
const isFunction = (value: unknown): value is (......

Почему вы использовали unknown? И еще почему в type predicate вы приписали args функции как never?

User Tate
Почему вы использовали unknown? И еще почему в typ...

> Почему вы использовали unknown? потому что это самый широкий тип, чтоб можно было любое значение передать > почему в type predicate вы приписали args функции как never? потому что это самый узкий тип, чтоб было совместимо с любой другой функцией

User-Tate Автор вопроса
Евгений
> Почему вы использовали unknown? потому что это с...

С unkown понятно, но как never будучи "самым узким типом", может быть совместим с любом другой функцией?

User Tate
С unkown понятно, но как never будучи "самым узким...

Типы функци по аргументам контрвариантны, а по возвращаемым значениям ковариантны

User Tate
С unkown понятно, но как never будучи "самым узким...

Вот можешь почитать https://dmitripavlutin.com/typescript-covariance-contravariance/

Похожие вопросы

Обсуждают сегодня

А как старый хаскел с новым стыковать ? потому как тут работает https://play.haskell.org/saved/C3xpMzcd, а вот тут https://stepik.org/lesson/7602/step/9?unit=1473 нет ошибка C...
Fedor
131
Вопрос я правильно понимаю что в коде newtype ArrowMap k v = ArrowMap { getArrowMap :: k -> Maybe v } getArrowMap есть функция типа k -> Maybe v, если да, то не понимаю задач...
Fedor
61
Как Вы считаете нормально ли в двадцатых годах 21 века в ВУЗах Российской Федерации обучать студентов работе с TASM? Не слишком ли это "архаично"? (Если оффтоп или флейм для э...
Spiker01
52
Продолжая диалог про свифт в проде – сейчас возник вопрос в активном наборе бекендеров. В основном в нашей компании мы фанаты Java Spring и полностью ей довольны. Однако найм ...
Guseyn
27
Комрады, хотел уточнить. Проперть в OnDestroy юнита-хозяина по-прежнему доступна? И еще уточнение: finalization юнита наступает раньше или позже OnDestroy?
Ed Doc
48
Читаю сейчас [нет, уже больше не читаю!] курсовую о Булгакове, написанную, похоже, с помощью ChatGPT. Это удивительный психоделический опыт. Текст в основном написан в стиле б...
✨ Uni [🌊 В отпуске]
1
Всем привет! поделитесь, пож-та, как кто дебажил / решал проблему с 504 Time out ошибкой от nginx, когда стучишься на свой vapor сервер? в логах /var/log/nginx/error.log е...
Paul
24
Привет всем. Не знаю, удачный ли чатик я выбрал для вопроса, но он как будто в целом про концепцию фп и конкретно про Haskell. Прочитал, что в целом в мире фп нет идеи мутабел...
Gellert Cringewald
15
Как добавить ссылку в Быстрый доступ в Проводнике windows 10? Нашёл, как на power shell сделать, но может есть способ через Дельфи?
А
31
@helgispbru @Dreamer_0x01 @Pathologic93 @webber_12 Не уверен, что вам всем это жутко интересно, но в продолжение недавнего диалога отправлю свои наброски. Хочу понять, правил...
Андрей [aharito] Харитонов
13
Карта сайта