sistema de tipos, en el que la compatibilidad y equivalencia de los tipos de datos se determina mediante declaraciones explícitas y/o el nombre de los tipos (es)
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)