Are there any languages that are dynamically typed but do not allow weak typing?
- by Maulrus
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?