TypeScript: Типы как множества
Что вообще такое тип данных? Чтобы ответить на этот вопрос, лучше начать с ответа на вопрос, что было до типов данных? Семейство языков, в котором нет типов данных, называется ассемблером. Эти языки работают напрямую с процессором и оперируют его регистрами. В регистрах хранятся значения, которые, с точки зрения языка, являются числами. А что закодировано за этим числом, должен определять сам программист, будь то строка или часть картинки.
Главная проблема такого подхода — в отсутствии какой-либо безопасности. Программа никогда не выдаст ошибку, если мы случайно что-то сделаем со "строкой", чего с ней делать нельзя. С точки зрения процессора и языка программирования, строки нет — есть число, и мы выполняем над ним какие-то операции. В итоге программа работает всегда, но результат неверный. Представьте себе, какой уровень внимательности нужен, чтобы программировать в таком режиме.
Ситуацию исправило появление типов данных в высокоуровневых языках. Типы позволили выполнить две задачи:
- Описать и ограничить множество всех значений конкретного типа
- Определить операции, которые возможно выполнить с этим типом
Все это заложено в определении: Тип данных — это множество всех значений и набор допустимых операций над ними. Что нам это дает? Типобезопасность. Даже в динамическом языке, таком как JavaScript, мы получаем значительно более сильную безопасность, чем в ассемблере. В статическом же, таком как TypeScript, уровень проверки совместимости типов выходит на другой уровень.
Множества
Обычно, когда говорят про определение типов, в первую очередь обращают внимание на вторую часть: "набор допустимых операций". А вот первая часть кажется более размытой: "набор допустимых значений". С одной стороны, это может быть ограничение числа по верхней и нижней границе, как в JavaScript. У нас есть Number для одного диапазона чисел и BigInt для другого, когда нужно работать с огромными числами. С другой, мы ведь говорим про множества.
И вот этот взгляд на типы как на множества имеет огромную роль в нашем случае. Связано это с тем, что система типов языка TypeScript умеет комбинировать типы так, как это делается в обычных множествах. Например, мы можем объединить два множества типов, получив новый тип, в который входят все элементы первого множества (типа) и второго множества (типа). Так появляется Union Type:
type SomeType = number | string;
const v1: SomeType = 1;
const v2: SomeType = 'hexlet';
Примерно таким же способом мы можем построить пересечение типов, расширение и сделать другие интересные штуки с типами. Кое-что мы рассмотрим дальше по курсу, но часть вещей останется за пределами. Но, что бы ни происходило дальше, важно перестроить свое мышление на операции с типами: это позволит значительно упростить понимание принципов работы TypeScript и вы сможете лучше запоминать, а иногда даже сами догадываться до определенного поведения.
Задание
Определите тип CustomType, который может принимать следующие значения:
- null
- undefined
- числа
Упражнение не проходит проверку — что делать? 😶
Если вы зашли в тупик, то самое время задать вопрос в «Обсуждениях». Как правильно задать вопрос:
- Обязательно приложите вывод тестов, без него практически невозможно понять что не так, даже если вы покажете свой код. Программисты плохо исполняют код в голове, но по полученной ошибке почти всегда понятно, куда смотреть.
В моей среде код работает, а здесь нет 🤨
Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.
Мой код отличается от решения учителя 🤔
Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи.
В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.
Прочитал урок — ничего не понятно 🙄
Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в «Обсуждениях». Идеально, если вы сформулируете непонятные моменты в виде вопросов. Обычно нам нужно несколько дней для внесения правок.
Кстати, вы тоже можете участвовать в улучшении курсов: внизу есть ссылка на исходный код уроков, который можно править прямо из браузера.