[TYPES] Types of expressions in dynamic languages: "un-typed" or "uni-typed"?
Uday S Reddy
u.s.reddy at cs.bham.ac.uk
Wed Jan 8 11:37:21 EST 2014
Sean McDirmid writes:
> Pragmatically, the programmer is still able to talk about "ducks" in
> Python even if the check to see if a value can be used as a duck occurs
> dynamically. Explaining to the programmer that Python only has one type
> would be very unfriendly and confusing when clearly one can talk about
> ducks that quack in the language without much problems.
I think this is an excellent point. There can be other ways of enforcing
type abstractions in a programming language than by static typing rules.
For that reason, "untyped programming language" is a misnomer. (Perhaps it
was imported thoughtlessly from mathematics, where something like the
Zermelo-Fraenkel set theory is genuinely untyped.)
I always refer to such languages as "dynamically typed" languages rather
than "untyped" languages.
Please see this discussion on Stack Exchange which is closely related:
More information about the Types-list