Как использовать unknown, never, void, object, Record в TypeScript
Вставка
- Опубліковано 3 лип 2024
- В данном видео мы поговорим про TypeScript. Разберем, как правильно использовать такие типы как unknown, never, void, object, Object, Record и другие непонятные типы. Покажу на примерах, как они работают, какие плюсы/минусы у каждого из них, и когда использовать какой тип.
Гайд от TypeScript про ошибки при типизации:
www.typescriptlang.org/docs/h...
Код из слайдов:
github.com/Ayub-Begimkulov/yo...
Таймкоды:
00:00-00:36 - Интро
00:36-02:56 - Что такое unknown и когда его использовать?
02:56-05:18 - Когда unknown не будет правильно работать?
05:18-07:01 - Что такое never?
07:01-08:24 - Когда появляется never?
08:24-12:17 - В каких случаях может быть полезен never?
12:17-13:25 - Что такое void?
13:25-14:53 - Разбираем типы для встроенных конструкторов.
14:53-18:11 - Типизация объектов.
18:11-18:31 - Заключение
Всегда думала, что `{}` это просто пустой объект.
Спасибо тебе!
Аюб, спасибо.
Очень заходят твои уроки по ТS
Практические примеры из видео просто огонь.
Экономишь кучу времени на самостоятельное изучение !!!
Рад, что понравилось!
по идее еще удобнее написать
function exhaustiveCheck(x: never): never {
throw new Error("Didn't expect to get here");
}
спасибо за полезный контент)
Очередной суперский контент от Аюба 😍🥰
Спасибо!
Очень полезно, много информации выдано за 18 мин. Спасибо за видео
Отличное видео, автор джедай!
крутые темы
очень нравится что ты уделяешь внимание таким "фундаментальным тонкостям"
в то время как все остальные просто пишут hello world
хочется увидеть от тебя видосы посвященные сложным кейсам в типизации
Сложные кейсы рассмотрим обязательно после покрытия «продвинутой базы». Спасибо за фидбэк!
Очень очень полезные видео. Максимально по делу и полезно. Спасибо.
по тайпскрипту нравяться темы, очень полезно
Рад, что было полезно.
Найс тема, дякую
Подразобрался с типом {}, с которым под прошлым видео не мог понять в чем прикол
Спасибо за фидбэк!
Давай больше TS))
Обязательно!
Мое почтение!
Очень хороший контент, продолжай в том же духе
Спасибо!
круто круто круто! то что доктор прописал!
Спасибо Аюб!
Спасибо за фидбэк!
если я не ошибаюсь в последних версиях ts уже исправили never и void
теперь never будет выдавать ошибку в любом случае
пример:
`f = (arg: never) => {}`
раньше `f() // ok`
сейчас `f() // error`
а также `f = (arg: void) => {}`
раньше `f() // error нужно передать аргумент равный undefined`
сейчас `f() // ok`
по идее теперь void является пустым множеством, а never является недопустимым типом, как при
`type key = string | number
type a = key & string
`
ts в нутри себя это превратит в
`string & string | string & number`
второй юнион вернет never, логическую ошибку типа и отсечется от результата, а void который является как раз таки пустым множеством, теперь может попасть в тип как возможный тип равный пустому множеству
если установленный для чего либо тип являет логической ошибкой (если значение юнион не определен даже как пустое множество, чего раньше добится было нельзя) то будет ошибка в любом случае, как и должно быть
Spasibo bratan
pozhaluysta
Видео просто класс, больше видосиков по тс пожалуйста
Спасибо
спасибо большое аюб,
Пожалуйста!
спасибо!))
Лучшее видео по ТС и этим типам))
Спасибо!
Спасибо за полезный пример 2 - классное объяснение про never в условных типах. Не мог нигде найти инфу.
Круто! Рад помочь)
Держи лукас, норм материальчик
Спасибо!
комментарий в поддержку канала
Спасибо!
Спасибо
пожалуйста
спасибо
пожалуйста!
👏👍
Все круто, спасибо, вижу коменты от начинающих которые просят то, что уже есть в ютубе, в слитых курсах и т.д. Слушать их или нет дело конечно твоё, но твой контент уникальный среди всего этого однообразного, думаю многие согласятся со мной, так что продолжай в том же направлении. Ещё раз спасибо. P. S. Я сам джун опыта пару месяцев =)
Спасибо за фидбэк!
В плане контента можешь не волноваться, планирую раскрывать темы для людей, кто уже имеет хотя бы большой опыт.
cool, прокачивает навык ts, я много использовал ts, но не сильно углублялся...
4:40
Можно написать Fn extends (...args: never[]) => unknown
Функция с такими параметрами является наиболее "общей", т.е. грубо говоря, если в параметры такой функции будут передавать только значения never, то мы можем подставить туда свою функцию, принимающую, допустим, number, который более широкий, чем never. Это явление в типизации называется "контравариантность".
Но тут есть спорный момент: функцию (...args: never[]) => unknown можно вызвать вообще без параметров, и по идее в переменную такого типа нельзя ставить функцию с хотя бы одним обязательным параметром. Вероятно, это упрощение TS, а может, починят когда-нибудь.
привет, сними пожалуйста подробно про Mapped types
Да, в планах есть заснять видео на эту тему. Должно выйти скоро на канале.
Расскажи про satisfies/infer
Да, есть в планах покрыть эту тему.
Аюб, спасибо за твои видео.
Подскажите пожалуйста это одно и тоже или есть различия. Тип выводит нормальный либо я плохо тестирую не понятно)))
function shuffle(array: T[]): T[] {}
function shuffle(array: T): T {}
Не, я думаю в таком случае нормально будет все. Но я бы все равно по первому написал бы лучше.
8:12 а почему, если поменять стрелку на обычную функцию, то тип будет void ?
Видимо какой-то баг TS)
Получается, что в примере с FilterTest (11:20) можно использовать never в качесте Omit для union.
Да, примерно так)
@@ayub_begimkulov Хотя, конечно, в данном случае проще использовать Extract вместо трюка с never.
Кстати, ты успел опередить Ulbi TV с выходом ролика, он тоже про exhaustiveCheck и typeguard говорил и прочее.
Пока что не начинал изучать TS, но скоро начну. Всё из этого ролика актуально для TS 5.0, релиз которого вышел на днях?
Да, новый стандарт не отменяет старый, а расширяет его.
Да, все актуально кончено же. У TS не semver, так у них не бывает больших мажоров.
@@ayub_begimkulov а по декораторам разве у них там не braking change будет?
Лайк, если заметил смену футболки 😅
Снимал в разные дни)
А как же arr.filter(Boolean) ?)
Или я чего-то не понял
А можешь таймкод отправить? Не понимаю о чем ты.
@@ayub_begimkulov 13:48. Скорее всего я не так понял
5я минута, что такое констрейнт?
констрейнт - ограничение. в том случае я говорил именно про ограничение дженерика. я объяснял эту тему более детально в моем видосе по дженерикам.
Any же наследуется от unknown
первый раз такое слышу))
Почему в первом примере нельзя написать fn: function ? И не нужно ссылаться на какую-то "странную" работу тайп скрипта, потому что ты сам указал extends.
Если ты про 3:51, то это обучающий пример.
Да можно так и не писать, но есть много случаев, когда тебе придется использовать дженерик и нужно знать, что для аргументов функции unknown не подойдет.
Постараюсь в следующий раз уделить таким моментам больше внимания. Спасибо за фидбэк!
Never say never 🤣
Ok.
Уникальный контент!
Спасибо!