型システム
Sign in to saveAlso known as typing discipline
プログラミング言語において、ある部分が持つ値を、その型に沿って分類し、プログラムが正しく振る舞うこと、という性質について保証する手法
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 · 日本語
型システム(かたシステム、英: type system)は、コンピュータプログラミングの数々の構成要素および値に対して、型(type)と呼ばれる特性を付与するための数々の規則群から成立している形式体系である。型の付与は、型付け(typing)と言われる。例えば、変数・式・関数・モジュール・オブジェクトなどが型の付与対象になり、それらの型付け要素を規則的な関係でまとめたデータ構造にも型は付与されてカテゴライズされる。 型システムの目的は、プログラムエラーとバグの発生を抑止することである。そのための型安全性とは、各計算および各オペレーションでの型エラー(不正計算、ロジックエラー、バッファオーバーフロー、不正ポインタなど)の発生を防止することと同義になる。 型システムは、一般的に型理論をベースにしている。
Abstract from DBpedia / Wikipedia · CC BY-SA