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: 291

Filed under:

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

Related posts about type-systems