All languages have types. Even assembly has types because registers have bit width. Some registers are 32-bits and some are 64-bits and higher and certain operation will generate traps which means that even the CPU has runtime checks to make sure things don't go wrong.
I'm actually not sure what an untyped system would even look like.
I wrote about untyped languages here
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.