Статья
Основы C#: типы, nullable, записи, pattern matching, LINQ и память
Система типов C# от value/reference до nullable, records и pattern matching, коллекции и LINQ, а также модель памяти и работа сборщика мусора.
База знаний
Тема: типы
21 материалов в этой теме.
Материалы
9 на странице
Статья
Обработка ошибок: Result, Option, оператор ?, свои типы ошибок
Ошибка как значение и как часть контракта: чем Option отличается от Result, что на самом деле делает оператор ?, как спроектировать свой тип ошибки, где место thiserror и …
Статья
Обобщённое программирование и метапрограммирование
Как писать один алгоритм для многих типов и как заставить программу писать программу: параметрический полиморфизм, ограничения, мономорфизация против стирания типов, …
Статья
Моделирование типами: недопустимые состояния невыразимы
Как переложить часть инвариантов домена с ревью и тестов на систему типов: parse don’t validate, типизированные идентификаторы, суммы типов для состояний агрегата и …
Статья
Когда паттерн растворяется в системе типов
Половина каталога GoF — обход отсутствующих языковых конструкций: функции как значения, sealed-типы с сопоставлением образцов, дженерики и трейты, typestate и newtype. …
Статья
Дженерики и итераторы в Go: параметры типа, ограничения и range-over-func
Параметры типа и ограничения, множества типов, как дженерики скомпилированы и чего это стоит, пакеты slices/maps/cmp и итераторы iter.Seq с range-over-func.
Статья
Времена жизни: зачем нужны, как читать аннотации, типичные ошибки
Времена жизни как модель регионов, а не как набор правил компилятора: зачем нужна аннотация ‘a, как читать сигнатуры и сообщения rustc, что означает ‘static, …
Статья
Алгебраические типы данных и сопоставление с образцом
Как суммы и произведения типов убирают невозможные состояния из программы, зачем нужна проверка исчерпывающности и во что обходится моделирование данных через ADT.
Статья
System F: полиморфизм, дженерики и теоремы задаром
Что происходит, когда типам разрешают говорить «для любого»: большая лямбда Λ, честный тип чисел Чёрча, неразрешимость вывода типов и параметричность — свойство, из-за …
По этому запросу ничего не найдено.