タグ付つき型がた

noun

tagged type

Computing term for a type system where each value carries a tag identifying its type at runtime.

• この言げん語ごでは、タグ付つき型がたによって実じっ行こう時じに型かた情じょう報ほうを保ほ持じしている。

  In this language, tagged types retain type information at runtime.