What "typed" means depends on who you're talking to. There's the definition used in CS research papers, and the definition that programmers actually use. Very

What "typed" means depends on who you're talking to. There's the definition used in CS research papers, and the definition that programmers actually use. Very few languages lack a strong notion of run-time type. C and friends are the only ones I can think of where you can treat a block of memory as more than one type without the compiler or runtime throwing a fit.