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