Programming with Types: Your Guide to Type Safety in C#

Книга посвящена глубокому изучению системы типов в языке C# с акцентом на различия между типами-значениями и ссылочными типами. Автор подробно рассматривает семантику копирования, передачу параметров, механизмы равенства и полиморфизма, а также практические аспекты проектирования типобезопасного кода.

Основное внимание уделяется пониманию того, как выбор между структурой и классом влияет на поведение программы, производительность и поддерживаемость кода. Книга объясняет современные возможности C#, включая записи (records), обобщённые типы, nullable-типы и расширенные сценарии использования параметров по ссылке.

Практические главы охватывают темы создания пользовательских типов, инкапсуляции, неизменяемости, перегрузки операторов и реализации корректных сравнений. Особое внимание уделяется предотвращению распространённых ошибок, связанных с мутабельностью, упаковкой (boxing) и неявным копированием.

Книга подходит для разработчиков среднего и продвинутого уровня, которые хотят углубить понимание системы типов C# и научиться принимать обоснованные архитектурные решения при проектировании доменных моделей и API.