For those downvoting aidenn0's comments, I was surprised to find that "untyped" is indeed a common term that includes what many people (myself included) call dy

For those downvoting aidenn0's comments, I was surprised to find that "untyped" is indeed a common term that includes what many people (myself included) call dynamically typed. See the three top-voted answers to this Stack Overflow question, one of which includes a citation from TaPL, a standard text (emphasis added): "A type system is a tractable syntactic method ... Terms like 'dynamically typed' are arguably misnomers." https://stackoverflow.com/questions/9154388/does-untyped-also-mean-dynamically-typed-in-the-academic-cs-world https://stackoverflow.com/questions/9154388/does-untyped-als... I still prefer the term dynamically typed, because there are useful distinctions about value types to be made among such languages, such as those described in striking's link.