型システム
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/06 04:25 UTC 版)
型システム（かたシステム、英: type system）は、コンピュータプログラミングの数々の構成要素および値に対して、型（type）と呼ばれる特性を付与するための数々の規則群から成立している形式体系である[1]。型の付与は、型付け（typing）と言われる。例えば、変数・式・関数・モジュール・オブジェクトなどが型の付与対象になり、それらの型付け要素を規則的な関係でまとめたデータ構造にも型は付与されてカテゴライズされる。
注釈
出典
- ^ Pierce 2002, p. 1: "A type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute."
- ^ Cardelli 2004, p. 1: "The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program."
- ^ 『型システム入門』 p. 1
- ^ 6-1. バッファオーバーラン その１「こうして起こる」
- ^ 非Java言語のサポート | Oracle Help Center | Java SE 11 | Java仮想マシン・ガイド
- ^ a b Benjamin C. Pierce「19.3 名前的型システムと構造的型システム」 『型システム入門 −プログラミング言語と型の理論−』オーム社、2013年3月26日。ISBN 978-4274069116。
- ^ http://web.cecs.pdx.edu/~harry/musings/SmalltalkOverview.html
- ^ Duck Typing vs Structural Typing vs Nominal Typing | by Saurabh Nayar | Higher-Order Functions | Medium
- ^ Structural Typing: Compile Time Duck Typing
- ^ typing --- 型ヒントのサポート — Python 3.9.4 ドキュメント
- ^ C# Coding Conventions | Microsoft Docs
[続きの解説]
固有名詞の分類
このページでは「ウィキペディア」から型システムを検索した結果を表示しています。
Weblioに収録されているすべての辞書から型システムを検索する場合は、下記のリンクをクリックしてください。
全ての辞書から型システムを検索
Weblioに収録されているすべての辞書から型システムを検索する場合は、下記のリンクをクリックしてください。
全ての辞書から型システムを検索 - 型システムのページへのリンク
