Are there any languages that are dynamically typed but do not allow weak typing?
Posted
by Maulrus
on Stack Overflow
See other posts from Stack Overflow
or by Maulrus
Published on 2010-03-26T03:24:30Z
Indexed on
2010/03/26
3:33 UTC
Read the original article
Hit count: 264
Filed under:
type-systems
For example, adding a (previously undeclared) int and a string in pseudocode:
x = 1;
y = "2";
x + y = z;
I've seen strongly typed languages that would not allow adding the two types, but those are also statically typed, so it's impossible to have a situation like above. On the other hand, I've seen weakly typed languages that allow the above and are statically typed.
Are there any languages that are dynamically typed but are also strongly typed as well, so that the piece of code above would not be valid?
© Stack Overflow or respective owner
