https://trust-lang.net/en/tags/generics/ Recent content in Generics on TrustLang Hugo en Wed, 09 Sep 2026 15:37:53 +0300 https://trust-lang.net/en/docs/types/concept/ Mon, 01 Jan 0001 00:00:00 +0000 https://trust-lang.net/en/docs/types/concept/ <h2 id="principles">Principles<a class="td-heading-self-link" href="#principles" aria-label="Heading self-link"></a></h2><p><em>TrustLang</em> has a <strong>closed type system</strong>: any new data type necessarily inherits (extends) one of the already existing ones. This resembles the <code>Object</code> model in Java, but without physical inheritance (without boxing simple types into objects). This approach is the basis for <a href="generics/">generic programming</a>, when a derived type inherits the set of operations of the &ldquo;parent&rdquo; type, and continues to work with all its descendants.</p> <p>The language is dynamically typed: the type of a variable can be specified explicitly or left to automatic inference. The specified type is used for compatibility checks on assignment, for checking the type of a function&rsquo;s return value and for controlling the placement in memory of <a href="https://trust-lang.net/en/docs/types/native/">native types</a>. Automatic casting is possible only between compatible types; otherwise an explicit <a href="type_system/">type conversion</a> is required.</p> https://trust-lang.net/en/blog/comparison/generics/ Tue, 24 Mar 2026 00:00:00 +0000 https://trust-lang.net/en/blog/comparison/generics/ <p>Generic programming is a paradigm that allows describing algorithms and data structures in abstraction from concrete types. Despite the single concept, each language implements it in its own way: through templates, parametric polymorphism, type erasure or duck typing. This article provides a detailed analysis of the mechanisms of generic programming in eight languages - C++, Java, C#, Python, Rust, Haskell, TypeScript, Julia - with an assessment of the strengths and weaknesses of each approach and a comparative summary.</p>