In thinking about the whole subject of how languages deal with types recently , it struck me that calling something anuntyped language is usually somewhat of a misnomer.
Most things that get called untyped languages, such as assembly code,actually have types; it's just that they are attached to operationsinstead of to values (and variables, and storage locations). Arguablyassembly language has stronger typing for arithmetic operations thanmost high level languages, since there isn't any silent conversionbetween different types of numbers.
Thinking