型かたシステム

noun

type system

Computing term for the set of rules that assign types to language constructs.

• このプログラミング言げん語ごは強きょう力りょくな型かたシステムを持もっている。