Are there any high-level untyped languages?

See title.

>>11
State is single handedly responsible for most of the complexity of imperative languages. Programs must constantly check the variables for sane values lest an unintended change in state results in an incorrect assumption in the logic.