Category:Type systems

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