Type system
id:
type-system-164-15421390
title:
Type system
text:
In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type to every term. Usually the terms are various language constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term. Type systems formalize and enforce the otherwise implicit categories the programmer uses
brand slug:
wiki
category slug:
encyclopedia
description:
Computer science concept
original url:
https://en.wikipedia.org/wiki/Type_system
date created:
2003-03-22T01:34:17Z
date modified:
2024-08-29T07:26:49Z
main entity:
{"identifier":"Q865760","url":"https://www.wikidata.org/entity/Q865760"}
image:
fields total:
13
integrity:
15