<nowiki>sistema de tipos; 類型系統; típusrendszer; Ыҥпалын типше; sistema de tipus; Typisierung; سیستم انواع; 類型系統; typesystem; tipul de sistem; 型別系統; typsystem; מערכת טיפוסים; 型別系統; 类型系统; 자료형 체계; datumtipsistemo; typový systém; Tip; sistema dei tipi; টাইপ ব্যবস্থা; système de typage; сыстэма тыпізацыі; sistema de tipos; tyyppijärjestelmä; 类型系統; Hệ thống kiểu; систем врсти података; Типтештирүү; 型システム; система типізації; Типизация на данните; ระบบชนิดตัวแปร; typesystem; typesystem; 類型系統; Типизация данных; typesysteem; ടൈപ്പ് സിസ്റ്റം; system typów; type system; نظام الأنواع; Σύστημα τύπων; Sistem jenis; conjunto de reglas que asignan una propiedad llamada tipo a varias construcciones en las que un programa informático consta, tales como variables, expresiones, funciones o módulos; プログラミング言語において、ある部分が持つ値を、その型に沿って分類し、プログラムが正しく振る舞うこと、という性質について保証する手法; règles d'assignation des types d'un langage de programmation; system för hur programspråk klassificerar värden och uttryck; набір правил, за якими присвоюють властивість, що називається типом, різним елементам комп'ютерної програми, таким як змінні, вирази, функції або модулі; systém pravidel přiřazující typy jednotlivým konstrukcím, ze kterých se skládá počítačový program; formales System in Programmiersprachen; يربط كل قيمة محسوبة بنوع; set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules; قوانین تایپسیستم; 將稱為類型的屬性分配給計算機程序的各種構造的規則集，例如變量，表達式，函數或模塊; regler for hvordan et programmeringsspråk klassifiserer verdier og uttrykk til ulike konstruksjoner, for eksempel variabler, uttrykk, funksjoner eller moduler; sistema de tipificacion; sistema de tipificación; typage; Ыҥпалытип; Ыҥпале тип; Валютный тип; Тип данных; سیستم نوع; 型態系統; 型別系統; систем типова; タイプシステム; 型付け; 和型; 交差型; 型態系統; 型別系統; типізація даних; тип даних; Dynamisk typning; típusosság; טיפוסיות; טיפוסיות חזקה; טיפוסיות ברווז; type system; type systeem; type-systeem; Type system; Sistema di tipi; 类型推断系统; 형 체제; 유형 시스템; 형 시스템; 동적 타이핑; 형 체계; tyypitys; typing discipline; datentipsistemo; typovost; typování; Data tip</nowiki>
type system
set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules
