sistema dei tipi
Sign in to saveAlso known as typing discipline
framework sintattico per la classificazione di espressioni
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 · Italiano
In informatica, un sistema dei tipi è un framework sintattico per la classificazione di espressioni secondo i tipi che esse calcolano. Un sistema dei tipi associa tipi a ogni valore computato. Esaminando il flusso di questi valori, un sistema dei tipi tenta di dimostrare che non avvengano errori di tipo. Il sistema stesso determina che cosa costituisce un errore di tipo, garantendo che le operazioni che si aspettano un certo tipo di valore non siano utilizzate con valori per i quali quell'operazione non ha senso. La profondità dei vincoli sui tipi e la maniera con cui essi vengono valutati dal sistema influenzano la cosiddetta tipizzazione del linguaggio di programmazione. Nel caso di polimorfismo dei tipi, un linguaggio può associare alla stessa operazione un diverso algoritmo per ogni tipo utilizzabile. Sebbene i sistemi dei tipi concreti utilizzati nei linguaggi di programmazione nascano da problemi di natura pratica di architetture dei calcolatori, implementazione dei compilatori e progetto dei linguaggi, esiste una branca dell'informatica, detta teoria dei tipi, che studia i diversi sistemi dei tipi.
Abstract from DBpedia / Wikipedia · CC BY-SA