Дженерики и параметрический полиморфизм

Понимает основы Дженерики и параметрический полиморфизм на базовом уровне. Применяет простые концепции в рабочих задачах с использованием Scala 3. Следует рекомендациям senior-разработчиков при решении задач.

Знает базовые концепции generics type params для compiler engineer и умеет применять их в типовых задачах. Использует стандартные инструменты и следует установленным практикам команды. Понимает когда и почему применяется данный подход.

Знает generics в C#: List<T>, Dictionary<TK,TV>, Func<T,TResult>. Создаёт простые generic классы и методы. Понимает type constraints (where T : class, new()).

Знает основы шаблонов C++ в контексте Qt. Использует шаблонные контейнеры (QList<T>, QHash<K,V>). Понимает инстанцирование шаблонов и базовый SFINAE.

Понимает основы Дженерики и параметрический полиморфизм на базовом уровне. Применяет простые концепции в рабочих задачах с использованием TypeScript/Rust. Следует рекомендациям senior-разработчиков при решении задач.

Понимает основы Дженерики и параметрический полиморфизм на базовом уровне. Применяет простые концепции в рабочих задачах с использованием C/C++/Rust. Следует рекомендациям senior-разработчиков при решении задач.

Применяет продвинутую систему type-параметров Scala: upper/lower type bounds ([A <: B], [A >: B]), аннотации вариантности (covariant +A, contravariant -A). Реализует type classes через implicit-параметры и context bounds ([T: Ordering]). Использует existential types и type members для абстракции, понимает ограничения type inference в сложных generic-цепочках.

Уверенно применяет generics type params для compiler engineer при решении нестандартных задач. Самостоятельно выбирает оптимальный подход и инструменты. Анализирует trade-offs и предлагает улучшения существующих решений.

Создаёт generic service layer с repository, specification patterns. Использует covariance/contravariance (in/out). Применяет generic constraints для complex hierarchies. Понимает generic type inference.

Создаёт шаблонные утилиты для Qt: type-safe property wrappers, generic serializers. Применяет variadic templates и fold expressions. Использует SFINAE/if constexpr для conditional compilation.

Реализует разрешение generic-типов в языковом тулинге: строит карты подстановки type-параметров при type checking, обрабатывает вывод generic-методов и решение constraints. Понимает стратегии инстанцирования дженериков (мономорфизация vs type erasure) и их влияние на тулинг — code completion, рефакторинг и отображение типов в IDE.

Применяет дженерики в системном коде с фокусом на zero-cost абстракции: пишет generic-структуры данных с const generics для compile-time размеров, использует trait bounds для гарантий memory layout (Copy, Sized, Unpin). Понимает влияние мономорфизации дженериков на instruction cache и размер бинарника в performance-critical путях. Применяет дженерики для реализации type-safe обёрток над unsafe FFI-интерфейсами.

Архитектурит type-level вычисления в Scala: реализует higher-kinded types (F[_]) для tagless final и free monad паттернов. Проектирует generic type class иерархии (Functor, Monad, Traverse) с lawful instances и автоматической деривацией. Применяет path-dependent types и type projections для продвинутых generic-абстракций, использует match types (Scala 3) и type lambdas для compile-time type-трансформаций. Менторит команду по правилам вариантности и отладке type inference.

Экспертно применяет generics type params для compiler engineer для проектирования сложных систем. Оптимизирует существующие решения и предотвращает архитектурные ошибки. Проводит code review и обучает коллег лучшим практикам.

Проектирует generic frameworks с Source Generators. Использует static abstract members в interfaces (C# 11+). Реализует generic math через INumber<T>. Применяет generic host для modular architecture.

Применяет C++20 concepts для ограничения шаблонных параметров. Проектирует policy-based design для Qt-компонентов. Использует template metaprogramming для compile-time валидации.

Проектирует кросс-языковый тулинг для generic-систем типов: реализует constraint solvers для вывода generic-типов (расширения Hindley-Milner, локальный вывод типов), строит инкрементальные type checkers с эффективным кэшированием generic-инстанцирований. Архитектурит IDE-фичи для generic-кода — smart completion с выводом type-параметров, generic-рефакторинг (extract type parameter, inline type alias) и диагностические сообщения, ясно объясняющие цепочки нарушений constraints в сложных generic-контекстах.

Архитектурит generic-абстракции для системной инфраструктуры: проектирует generic-интерфейсы аллокаторов и type-параметризованные memory pools с compile-time валидацией размеров через const generics. Реализует generic lock-free структуры данных с корректными Send/Sync bounds, применяет паттерны generic specialization для SIMD-оптимизированных code paths. Оценивает стоимость мономорфизации в масштабных системах — управляет binary bloat через стратегическое использование trait objects, type-erased обёрток и техник generic function outlining.

Определяет стандарты использования Дженерики и параметрический полиморфизм на уровне команды/продукта. Проводит архитектурные review. Формирует best practices и обучающие материалы для всей команды.

Устанавливает стандарты применения generics type params для compiler engineer в команде и принимает архитектурные решения. Определяет технический roadmap с учётом данного навыка. Менторит senior инженеров и влияет на практики смежных команд.

Определяет стандарты использования generics в .NET проектах. Проводит review generic API design. Контролирует complexity генерик-кода.

Определяет стандарты использования шаблонов в Qt-проектах. Проводит review template-кода, контролирует compile-time complexity. Формирует guidelines по readability шаблонного кода.

Определяет стандарты использования Дженерики и параметрический полиморфизм на уровне команды/продукта. Проводит архитектурные review. Формирует best practices и обучающие материалы для всей команды.

Определяет стандарты использования Дженерики и параметрический полиморфизм на уровне команды/продукта. Проводит архитектурные review. Формирует best practices и обучающие материалы для всей команды.

Определяет организационные стандарты generic-программирования в Scala: устанавливает конвенции кодирования type classes (Scala 2 implicits vs Scala 3 given/using), проектирует generic-абстракции effect-систем (Cats Effect, ZIO) с принципиальными иерархиями type-параметров. Продвигает внедрение compile-time type-level программирования (singleton types, type-level натуральные числа, compile-time proofs) для обеспечения доменных инвариантов. Оценивает и формирует предложения эволюции языка Scala в области выразительности системы типов — opaque types, match types, polymorphic function types.

Формирует стратегию применения generics type params для compiler engineer на уровне организации. Определяет best practices и влияет на выбор технологий за пределами своей команды. Является признанным экспертом в данной области.

Формирует enterprise generics стандарты для .NET. Оценивает новые generic features (roles, shapes). Определяет баланс generics и concrete types.

Формирует enterprise-стандарты template programming для C++/Qt. Оценивает reflection proposals для будущих стандартов C++. Определяет баланс между generics и runtime polymorphism.

Определяет стратегию применения Дженерики и параметрический полиморфизм на уровне организации. Принимает решения о подходах и инструментах. Менторит lead-разработчиков и формирует technical vision.

Определяет стратегию generic-программирования в системных кодовых базах: устанавливает guidelines по бюджету мономорфизации и целевым размерам бинарников, проектирует generic-слои абстракции, унифицирующие платформо-специфичные реализации (ОС, архитектура) под type-safe generic-интерфейсами. Продвигает внедрение const generics и type-level программирования для compile-time proofs корректности в safety-critical системах. Оценивает языковые фичи дженериков (Rust RFC process, C++ concepts vs Rust traits) и формирует паттерны generic-дизайна команды для баланса мощности абстракций, времени компиляции и runtime-производительности в кодовых базах на миллионы строк.