Статья
Структуры и типы: форма предметных данных
Встроенные типы, необязательные поля, состояния, вложенные объекты и генерация формы или таблицы из канонической модели.
База знаний
Тема: типы
21 материалов в этой теме.
Материалы
12 на странице
Статья
Функторы и аппликативы: контейнеры, к которым применяют функции
Как из повторяющегося кода «распаковать — применить — запаковать» рождаются функтор и аппликатив, зачем нужны их законы и почему валидация формы с накоплением всех ошибок …
Статья
Типы и трейты: обобщения, диспетчеризация, типажи стандартной библиотеки
Трейт как контракт на тип, а не как интерфейс из ООП: обобщения и мономорфизация, объекты-типажи и vtable, dyn-совместимость, ассоциированные типы, ключевые типажи std, …
Статья
Типы и абстракции C#: наследование, интерфейсы, дженерики, делегаты и события
Как в C# строят абстракции: наследование против композиции, интерфейсы и явная реализация, дженерики с ограничениями и вариантностью, делегаты, замыкания, события и …
Статья
Типизированное лямбда-исчисление и соответствие Карри-Ховарда
Что происходит, когда к лямбда-исчислению приделывают типы: часть программ перестаёт компилироваться, зато оставшиеся гарантированно завершаются — и внезапно оказывается, …
Статья
Теория категорий: объекты, морфизмы, функторы, естественные преобразования
Строгое введение в теорию категорий для инженера: определение категории и законы композиции, изоморфизмы и двойственность, универсальные свойства произведения и …
Статья
Система типов TypeScript: фундамент
Структурная типизация, union/intersection, generics, unknown/any/never, narrowing и discriminated unions — ядро языка.
Статья
Продвинутые типы, идиомы и обработка ошибок в TypeScript
Conditional и mapped types, infer, template literal types, satisfies, валидация через Zod и идиоматичная обработка ошибок.
Статья
Проверка и вывод типов: системы типов, унификация, Хиндли-Милнер
Как компилятор доказывает, что программа не сложит число со строкой: суждения типизации, бидирекциональная проверка, унификация с occurs check и полный алгоритм Хиндли — …
Статья
Паттерны границ: DTO, мэпперы и отсутствующее значение
Что происходит с данными на входе и выходе системы: зачем нужен DTO и когда он лишний, «парсить, а не валидировать», накопление ошибок вместо первого исключения, Null …
Статья
Основы Rust: типы, переменные, управление потоком, функции
Базовый Rust как единая модель, а не список синтаксиса: почему размер типа известен заранее, почему неизменяемость по умолчанию, почему всё есть выражение, что делает …
Статья
Основы Go: типы, срезы, карты, управление потоком и модель значений
Синтаксис, система типов, структуры данных и, главное, модель значений против указателей — то, на чём спотыкаются новички.
По этому запросу ничего не найдено.