調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
Wiktionary英語版
出典：Wiktionary
type system
出典:『Wiktionary』 (2026/02/16 00:22 UTC 版)
名詞
type system (plural type systems)
- (computing) A way programming language classifies values and expressions into types (data types), how it can manipulate those types, and how they interact.
- Meronyms: types, data types; built-in type, primitive type, composite type, abstract type, abstract data type, algebraic data type, reference type, existential type, intersection type, linear type, union type
-
2015 April 2, James Somers, “Toolkits for the Mind”, in MIT Technology Review:
-
OCaml’s big selling point is its “type system,” which is something like Microsoft Word’s grammar checker, except that instead of just putting a squiggly green line underneath code it thinks is wrong, it won’t let you run it.
-
派生語
- Hindley-Milner type system
- nominative type system
- unified type system
参考
- typechecker
- type theory
ウィキペディア英語版
出典：Wikipedia
Type system
出典:『Wikipedia』 (2011/07/09 22:00 UTC 版)
英語による解説
ウィキペディア英語版からの引用
- 引用
In computer science, a type system may be defined as "a tractable syntactic framework for classifying phrases according to the kinds of values they compute". A type system associates types with each computed value. By examining the flow of these values, a type system attempts to prove that no type errors can occur. The type system in question determines what constitutes a type error, but a type system generally seeks to guarantee that operations expecting a certain kind of value are not used with values for which that operation does not make sense.
- Wiktionary
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのtype system (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
- Wikipedia
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのType system (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
