> Do untyped languages even exist, or could they? Even POSIX shell and assembler type their values. I program in assembly language. Memory is just a big array

> Do untyped languages even exist, or could they? Even POSIX shell and assembler type their values. I program in assembly language. Memory is just a big array of bytes. Values don't have types, but each instruction chooses what type to interpret memory as - e.g. uint8, int16, float32, x86 real-mode pointer, long-mode pointer, etc.