Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01271327n
Noun Concept
Categories: データ構造, プログラミング言語の概念, データ型, 型システム
JA
型システム  タイプシステム  タイプセーフ  交差型  和型
JA
型システム（英: type system）は、コンピュータプログラミングの数々の構成要素および値に対して、型（type）と呼ばれる特性を付与するための数々の規則群から成立している形式体系である。 Wikipedia
Definitions
Relations
Sources
JA
型システム（英: type system）は、コンピュータプログラミングの数々の構成要素および値に対して、型（type）と呼ばれる特性を付与するための数々の規則群から成立している形式体系である。 Wikipedia
プログラミング言語において、ある部分が持つ値を、その型に沿って分類し、プログラムが正しく振る舞うこと、という性質について保証する手法 Wikidata
IS A
形式体系
PART OF
プログラミング言語
HAS KIND
静的変数
明示的型付け
型推論
ストロング・タイピング
パラメータ多相
+12 relations
HAS INSTANCE
ストロング・タイピング
タイピング環境
動的型付け
Hindley–Milner型システム
FACET OF
プログラミング言語
USES
データ型
Wikipedia
JA
型システム
Wikidata
JA
型システム
Wikipedia Redirections
JA
タイプシステム, タイプセーフ, 型付け, 型安全, 型安全性, 弱い型付け, 強い型付け
Wikidata Alias
JA
タイプシステム, 交差型, 和型, 型付け
Wikipedia Translations
JA
動的型付け, 型システム, 型チェッカー

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License