I feel like this article means well, but assembly or machine level types are not the same. Sure, the assembler and cpu will execute the instruction with the given type, but the next instruction can use a different instruction with different types and no one will be any the wiser. So one operation’s uint64 is another operation’s int64.

The type data in assembly doesn’t live with the data itself, nor are types for data stored anywhere.

I get the point but I think it just misses the mark.