system typów
Sign in to saveAlso known as typing discipline
zestaw reguł przypisujący elementom programu komputerowego (zmiennym, wyrażeniom, funkcjom, itp.) właściwość nazywaną typem
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 · Polski
System typów – system klasyfikacji wyrażeń w zależności od rodzajów wartości, jakie one generują. Każdej obliczonej wartości przypisywany jest pewien typ, który jednoznacznie definiuje, jakie operacje można na niej wykonać. Śledząc przepływ wartości, system typów stara się udowodnić, że w programie występuje poprawne typowanie, tzn. nie dochodzi do sytuacji, w której na wartości określonego typu próbujemy wykonać niedozwoloną operację. Kompilator może posłużyć się informacją o typie do poprawnego określenia ilości pamięci niezbędnej na przechowanie wartości oraz wyboru najlepszych algorytmów. Na przykład wiele kompilatorów języka C zapisuje typ "float" na 32 bitach zgodnie z założeniami normy IEEE 754 dla liczb zmiennoprzecinkowych pojedynczej precyzji. Ponadto do przetwarzania wartości tego typu wybierane są instrukcje procesora oraz algorytmy zaprojektowane specjalnie dla nich. Typizacją języka nazwiemy ilość ograniczeń nakładanych na typy oraz sposób ich obliczania. Teoria typów zajmuje się badaniami nad systemami typów, jednak rzeczywiste systemy typów stosowane w językach programowania wywodzą się przeważnie z praktycznych obserwacji oraz ograniczeń nakładanych przez architekturę sprzętową, budowę kompilatora i samego języka.
Abstract from DBpedia / Wikipedia · CC BY-SA