A language that allows

    var a = 1;
    a = "foo";

is not type safe.