Базовый CS с нуля
Значения и типы: тест с выбором
Суть Синтез всего юнита в формате выбора: биты не несут смысла, type — это правило чтения, одни и те же биты декодируются по-разному, и что такое type error на самом деле.
Высота — путь к senior
НольJuniorMiddleSenior
Ты на middle-высоте — в небеШесть вопросов, проходящих сквозь весь юнит. Ни один не требует пересказать определение. Каждый просит применить единственную идею юнита — биты ничего не значат, пока type не скажет, как их читать — к конкретной ситуации.
Цель
Убедись, что можешь связать все нити юнита: value — это сырые биты, type — правило их интерпретации, одни и те же биты декодируются по-разному под разными правилами, а система типов существует, чтобы не дать применить неверное правило.
Викторина
Completed
Ячейка памяти хранит 8-битный паттерн 01000001. Две программы читают её: одна печатает 65, другая — букву 'A'. Какое утверждение верно?
Heads-up Ни одно значение не является 'истинным' смыслом байта. Паттерн 01000001 не несёт встроенного значения. И 65, и 'A' — корректные прочтения одних и тех же битов под двумя разными правилами типа.
Heads-up Применение типа — это read-only декодирование. Оно никогда не меняет хранимые биты. Обе программы прочитали один неизменный паттерн; различалась лишь интерпретация.
Heads-up Биты в ячейке не несут постоянной метки типа. Аппаратура хранит восемь состояний вкл/выкл. Какое правило типа применить — выбор программы, отслеживаемый вне ячейки.
Викторина
Completed
Нужно сохранить value и позже корректно прочитать его обратно. Одного стартового адреса недостаточно. Что ещё должен знать читатель?
Heads-up Память возвращает сырые биты, никогда не смысл. Аппаратура знает адреса, а не типы. Размер и интерпретация живут в программе, а не в ячейке.
Heads-up Размер говорит, какие байты загрузить, но не что они означают. Четыре байта могут быть знаковым integer, float или четырьмя символами. Интерпретация — отдельная и столь же необходимая часть.
Heads-up Имя — метка для программиста; машина его отбросила. На уровне битов нужны размер плюс правило интерпретации — две половины типа.
Викторина
Completed
В JavaScript и 42, и 36.6 дают typeof === 'number'. Почему нет отдельного целочисленного типа?
Heads-up JS не округляет 36.6 до целого. Он хранит дробь в IEEE 754. Оба значения — один тип, потому что делят формат 64-битного double, а не потому что одно округлили.
Heads-up На деле тип number один. typeof здесь отражает реальность: рантайм хранит и 42, и 36.6 как double. Различие integer-vs-float вообще не входит в набор примитивов JS.
Heads-up В JS один тип number. Он не ведёт под капотом отдельные целочисленный и float типы, сливая их при выводе — это один тип, один формат хранения.
Викторина
Completed
Коллега пишет: 'null и undefined — одно и то же, оба значат пусто.' Какова точная поправка?
Heads-up Это действительно различные значения с различными смыслами. null — намеренное 'ничего'; undefined — несозданное/отсутствующее состояние, которое рантайм даёт автоматически. Strict mode TypeScript даже отслеживает их как отдельные типы.
Heads-up Ни одно не привязано к конкретному типу значения. Любая переменная может быть undefined (не присвоена), и любой слот может быть намеренно null. Различие — намеренное vs автоматическое отсутствие, а не number-vs-object.
Heads-up Сборка мусора не превращает одно в другое. Это с самого начала отдельные примитивные значения: null пишут намеренно, undefined возникает из отсутствующего присваивания или свойства.
Викторина
Completed
Какую единственную глубинную проблему создана ловить любая система типов — статическая или динамическая?
Heads-up Объём памяти — отдельная забота. Система типов отслеживает, какое правило чтения принадлежит какому значению; она существует не для того, чтобы ограничивать число байт значения.
Heads-up Читаемость — цель дизайна и стиля. Системы типов нацелены на проблему корректности: не дать декодировать биты неверным правилом. Чистый код и type safety — разные слои.
Heads-up Производительность не связана с основной целью. Задача системы типов — предотвратить неверную интерпретацию битов, а не ускорить код.
Викторина
Completed
Один и тот же баг несоответствия типов можно поймать на этапе компиляции или во время выполнения. В чём практическая разница между статической (TypeScript) и динамической (JavaScript) проверкой?
Heads-up Статическая типизация ловит лишь один класс — несоответствия типов — и то лишь до выполнения. Баги логики, алгоритма и бизнес-правил проходят мимо обеих. Динамическая тоже ловит type errors, просто позже.
Heads-up Обе нацелены на одну глубинную проблему — биты, которые вот-вот прочтут неверным правилом. Различие в моменте: этап компиляции против времени выполнения, а не категория ошибки.
Heads-up Обнаружение во время выполнения — позднее обнаружение: ошибка всплывёт лишь если и когда строка выполнится, возможно в продакшене. Раннее (статическое) обнаружение убирает класс до релиза — потому TypeScript и существует поверх JS.
Итог
Хребет юнита в одной цепочке решений: value — фиксированный паттерн битов без встроенного смысла; type даёт две недостающие части — размер и интерпретацию — превращающие биты в значение; одни и те же биты декодируются в разные значения под разными правилами; JS открывает небольшой набор примитивов (number как единый 64-битный IEEE 754 double, string, boolean и два различных отсутствия null и undefined); а система типов существует, чтобы не дать применить неверное правило — статически до выполнения или динамически в момент исполнения.