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.
Compound of タグ (tag) + 付き (with, attached) + 型 (type), a direct translation of the English computing term 'tagged type'.