nominative type systemWiktionary 原文英美释义名词noun1(programming) A major type system where compatibility and equivalence of data types are determined by explicit declarations or the names of the types.