3 ms·
They are types and they are traditionally called types. Tags are an implementation detail.
by Retra 9y ago
They are types and they are traditionally called types. Tags are an implementation detail.
- kazinator 9y agoMoreover, a tag is an implementation detail which rarely represents everything about a type. E.g. a tag might tell us that some object is a function. But to know how many arguments it has, whether some are optional, and so on, we have to inspect fields beyond the tag.
- willtim 9y agoPython only has one type. To quote from the article by professor Harper: "And this is precisely what is wrong with dynamically typed languages: rather than affording the freedom to ignore types, they instead impose the bondage of restricting attention to a single type! Every single value has to be a value of that type, you have no choice! Even if in a particular situation we are absolutely certain that a particular value is, say, an integer, we have no choice but to regard it as a value of the “one true type” that is classified, not typed, as an integer."
- clhodapp 9y agoPython programmers call them "types" but type system people don't.