Category:Type systems

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
sistema de tipos (es); típusrendszer (hu); Ыҥпалын типше (mhr); Sistem jenis (ms); Typisierung (de); سیستم انواع (fa); 類型系統 (zh); tipul de sistem (ro); 型別系統 (zh-hk); Typsystem (sv); מערכת טיפוסים (he); 型別系統 (zh-hant); 类型系统 (zh-cn); 자료형 체계 (ko); datumtipsistemo (eo); typový systém (cs); Tip (bs); sistema dei tipi (it); টাইপ ব্যবস্থা (bn); système de typage (fr); Hệ thống kiểu (vi); tyyppijärjestelmä (fi); систем врсти података (sr); 类型系統 (zh-hans); sistema de tipus (ca); typesysteem (nl); 型システム (ja); ระบบชนิดตัวแปร (th); System typów (pl); ടൈപ്പ് സിസ്റ്റം (ml); 類型系統 (zh-tw); sistema de tipos (pt); Типизация на данните (bg); Типтештирүү (ky); Типизация данных (ru); type system (en); نظام الأنواع (ar); Σύστημα τύπων (el); система типізації (uk) プログラミング言語において、ある部分が持つ値を、その型に沿って分類し、プログラムが正しく振る舞うこと、という性質について保証する手法 (ja); règles d'assignation des types d'un langage de programmation (fr); system för hur programspråk klassificerar värden och uttryck (sv); набір правил, за якими присвоюють властивість, що називається типом, різним елементам комп'ютерної програми, таким як змінні, вирази, функції або модулі (uk); formales System in Programmiersprachen (de); set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules (en); يربط كل قيمة محسوبة بنوع (ar); 將稱為類型的屬性分配給計算機程序的各種構造的規則集,例如變量,表達式,函數或模塊 (zh); systém pravidel přiřazující typy jednotlivým konstrukcím, ze kterých se skládá počítačový program (cs) sistema de tipificacion, sistema de tipificación (es); typage (fr); Ыҥпалытип, Ыҥпале тип (mhr); Валютный тип, Тип данных (ru); سیستم نوع (fa); 型態系統, 型別系統 (zh); систем типова (sr); タイプシステム, 型付け, 和型, 交差型 (ja); 型態系統, 型別系統 (zh-tw); типізація даних, тип даних (uk); Dynamisk typning (sv); típusosság (hu); טיפוסיות, טיפוסיות חזקה, טיפוסיות ברווז (he); type system, type systeem, type-systeem (nl); Type system, Sistema di tipi (it); 类型推断系统 (zh-cn); 형 체제, 유형 시스템, 형 시스템, 동적 타이핑, 형 체계 (ko); tyypitys (fi); typing discipline (en); datentipsistemo (eo); typovost, typování (cs); Data tip (bs)
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
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Subclass offormal system
Part ofprogramming language
Facet ofprogramming language
Authority control
Edit infobox data on Wikidata

Subcategories

This category has only the following subcategory.

D