Skip to content
EntityQ865760· pop 36· linked from 906 articles

sistema de tipos

Sign in to save

Also known as typing discipline

set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules

Described at

What Is Type System? Definition, Role & Examples | C3 AI

What is type system? This glossary entry defines how a type system describes and constrains data in software and why it matters for Enterprise AI. Learn more.

c3.ai

Type system is the implementation of objects or models (types) in a model-driven architecture . Types represent a data model of the object and its properties, and can be extended or mixed with other type definitions to create more complex data structures. Canonical schemas define the data structure and relationships of each type, and canonical transforms define the steps required to load data from the source system into the canonical schema (type). Using a type system allows for a standard data model that is consistent and uniform across all applications, abstracting the complexity of the underlying data and processes. If application logic is designed and written against the type system, then individual data sources and services can be connected to the type system without requiring changes to the applications built on top. This abstraction layer simplifies the overall implementation process and reduces the complexity of connecting all the different data sources and use cases.

Excerpt from a page describing this subject · 2,540 chars · not written by Vinony

Article · Português

Em linguagens de programação, um sistema de tipos é um conjunto de regras que atribuem uma propriedade chamada de tipo para as várias construções - tais como variáveis, , funções ou módulos - que um programa de computador é composto. Este tipo representa muitas vezes uma descrição aproximada dos valores possíveis que as construções podem armazenar ou computar, ou as mensagens que eles vão responder. O objetivo principal de um sistema de tipos é reduzir erros em programas de computador através da definição de interfaces entre diferentes partes de um programa de computador, e em seguida, verificar que as partes tenham sido conectadas de uma maneira consistente. Essa verificação pode acontecer estaticamente (em tempo de compilação), dinamicamente (em tempo de execução) ou como uma combinação destes.

Abstract from DBpedia / Wikipedia · CC BY-SA