https://trust-lang.net/ru/tags/generics/ Recent content in Generics on TrustLang Hugo ru Wed, 09 Sep 2026 15:37:53 +0300 https://trust-lang.net/ru/docs/types/concept/ Mon, 01 Jan 0001 00:00:00 +0000 https://trust-lang.net/ru/docs/types/concept/ <h2 id="принципы">Принципы<a class="td-heading-self-link" href="#%d0%bf%d1%80%d0%b8%d0%bd%d1%86%d0%b8%d0%bf%d1%8b" aria-label="Heading self-link"></a></h2><p><em>TrustLang</em> имеет <strong>закрытую систему типов</strong>: любой новый тип данных обязательно наследует (расширяет) один из уже существующих. Это напоминает модель <code>Object</code> в Java, но без физического наследования (без боксинга простых типов в объекты). Этот подход является основой для <a href="generics/">обобщённого программирования</a>, когда производный тип наследует набор операций «родительского» типа, и продолжает работать со всеми его наследниками.</p> <p>Язык динамически типизирован: тип переменной можно указать явно или оставить автоматический вывод. Указанный тип используется для проверок совместимости при присваивании, для проверки типа возвращаемого значения функции и для управления размещением в памяти <a href="https://trust-lang.net/ru/docs/types/native/">нативных типов</a>. Автоматическое приведение возможно только между совместимыми типами; в остальных случаях требуется явное <a href="type_system/">преобразование типов</a>.</p> https://trust-lang.net/ru/blog/comparison/generics/ Tue, 24 Mar 2026 00:00:00 +0000 https://trust-lang.net/ru/blog/comparison/generics/ <p>Обобщённое программирование (generic programming) - парадигма, позволяющая описывать алгоритмы и структуры данных в абстракции от конкретных типов. Несмотря на единую концепцию, каждый язык реализует её по-своему: через шаблоны, параметрический полиморфизм, стирание типов или утиную типизацию. В данной статье проводится детальный анализ механизмов обобщённого программирования в восьми языках - C++, Java, C#, Python, Rust, Haskell, TypeScript, Julia - с оценкой сильных и слабых сторон каждого подхода и сравнительным итогом.</p> <hr> <h2 id="1-введение">1. Введение<a class="td-heading-self-link" href="#1-%d0%b2%d0%b2%d0%b5%d0%b4%d0%b5%d0%bd%d0%b8%d0%b5" aria-label="Heading self-link"></a></h2><p>Идея обобщённого программирования восходит к работам Александра Степанова и Дэвида Мусера в конце 1980-х годов. Её суть - отделение алгоритмов от конкретных типов данных при сохранении типовой безопасности и управляемой производительности. На практике разные языки решают эту задачу через разные механизмы:</p>