English Dictionary

type system

名詞

(computing) A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact.

日本語の意味

型システムとは、プログラミング言語が値や式を一定のカテゴリー（型）に分類し、その型を操作する方法や型間の相互作用を定める仕組みを指します。

The type system prevented the function from accepting invalid inputs at compile time.

プログラミング言語の型システムにより、その関数はコンパイル時に不正な入力を受け付けることができませんでした。

意味（1）

(computing) A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact.

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.

type systems （ plural ）