nominative typing
major class of type system, in which compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types
en-US/ˈnɑmɪnətɪv ˈtaɪpɪŋ/
major class of type system, in which compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types