They have been called types (and type errors, etc) for ages in dynamic languages...

		fulafel on Aug 10, 2023 \| parent \| context \| favorite \| on: Why Static Languages Suffer from Complexity (2022) They have been called types (and type errors, etc) for ages in dynamic languages, it's estabilished terminology.