Can we say that type system is sound, but static analyzer isn't? Or the other way around - if we can say that relying on dynamic type checks is ...
確定! 回上一頁