عرض مصدر قالب:نظام التنويع

{{شريط جانبي
| title = [[نظام الأنواع|نظام التنويع]]
| style = margin-top: 0.5em;
| contentstyle = text-align: right;
| basestyle = background-color: rgba(51, 153, 255, 0.15);

| heading1 = مفاهيم عامة
| content1 =
* [[سلامة الأنماط]]

| heading2 = التصنيفات الرئيسية
| content2 =
* [[نظام الأنواع#Static type checking|ثابت]] ضد. [[نظام الأنواع]]
* [[Manifest typing|Manifest]] vs. [[Type inference|inferred]]
* [[Nominal type system|Nominal]] vs. [[Structural type system|structural]]
* [[تنويع البط]]

| heading3 = التصنيفات الفرعية
| content3 =
* [[Dependent type|Dependent]]
* [[Flow-sensitive typing|Flow-sensitive]]
* [[تنويع تدريجي]]
* [[Intersection type|Intersection]]
* [[Latent typing|Latent]]
* [[Refinement type|Refinement]]
* [[Substructural type system|Substructural]]
* [[Uniqueness type|Unique]]

| heading4 = انظر أيضًا
| content4 =
* [[نوعية قوية]]
}}
<noinclude>
{{ترجمة آلية|تاريخ=أغسطس 2020}}
[[تصنيف:قوالب أشرطة جانبية علم الحاسوب]]</noinclude>