type system - significado y definición. Qué es type system
Diclib.com
Diccionario ChatGPT
Ingrese una palabra o frase en cualquier idioma 👆
Idioma:

Traducción y análisis de palabras por inteligencia artificial ChatGPT

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

  • cómo se usa la palabra
  • frecuencia de uso
  • se utiliza con más frecuencia en el habla oral o escrita
  • opciones de traducción
  • ejemplos de uso (varias frases con traducción)
  • etimología

Qué (quién) es type system - definición

SET OF RULES THAT ASSIGN A PROPERTY CALLED TYPE TO VARIOUS CONSTRUCTS A COMPUTER PROGRAM CONSISTS OF, SUCH AS VARIABLES, EXPRESSIONS, FUNCTIONS OR MODULES
Dynamic typing; Static typing; Type systems; Type checking; Type-checking; Dynamically typed; Statically typed language; Dynamically typed language; Typed language; Dynamically-typed; Statically typed; Compile-time type checking; Statically-typed; Dynamicly typed; Dynamic data typing; Typed (programming languages); Static-typing (programming languages); Typechecker; Type checker; Type-checker; Static type; Static types; Type equivalence; Statically typed programming language; Statically-typed programming language; Dynamically-typed language; Existential type; Existential types; Type error; Typing discipline; Static type system; Optional typing; Typechecking; Static type-checking; Static type checking; Runtime type checking; Run-time type checking; Dynamic type checking; Optional type systems; Computational type system; Unified type system; Optional static typing; Dynamic type

statically typed         
dynamically typed         
dynamic typing         
<programming> Enforcement of type rules at run time as opposed to compile time. Dynamic typing catches more errors as run-time exceptions than static typing. Tcl, Perl, PHP, Python and Visual Basic are examples of dynamically typed languages. A dynamically typed language may have strong typing or weak typing. (2004-07-20)

Wikipedia

Type system

In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various 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 for algebraic data types, data structures, or other components (e.g. "string", "array of float", "function returning boolean").

Type systems are often specified as part of programming languages and built into interpreters and compilers, although the type system of a language can be extended by optional tools that perform added checks using the language's original type syntax and grammar. The main purpose of a type system in a programming language is to reduce possibilities for bugs in computer programs due to type errors. The given type system in question determines what constitutes a type error, but in general, the aim is to prevent operations expecting a certain kind of value from being used with values for which that operation does not make sense (validity errors). Type systems allow defining interfaces between different parts of a computer program, and then checking that the parts have been connected in a consistent way. This checking can happen statically (at compile time), dynamically (at run time), or as a combination of both. Type systems have other purposes as well, such as expressing business rules, enabling certain compiler optimizations, allowing for multiple dispatch, and providing a form of documentation.

Ejemplos de uso de type system
1. The French type system is certainly worth a proper examination," Mr Denham said.
2. The contracts call for new spending, from supplying mentors to officials with Iraq‘s Defense and Interior ministries to establishing a U.S.–marshal–type system to protect Iraqi courts.
3. "The combination of the international travel, the combination of the money being transferred abroad through a hawala–type system or certainly the use of false identification documents are all red flags of possible terrorist activity," he said.
4. Conservative governments in Alberta and British Columbia have quietly moved towards a mixed, European–type system, for instance, allowing privately–owned clinics to provide some services covered by public insurance, such as cataract removals.
5. Trade might not grow as much as under a full open WTO type system, but it can be managed better through regular reviews on the effects on both parties.