Comment by Nemerie

Does it make it type-safe though? In dynamic languages type errors also result in exceptions.