根据维基百科
如果计算机科学家不允许操作或转换违反类型系统的规则,则认为该语言是"类型安全的".
由于Python运行时检查确保满足类型系统规则,因此我们应该将Python视为一种类型安全的语言.
Jason Orendorff和Jim Blandy在编程Rust中也提出了同样的观点:
请注意,类型安全与语言是否在编译时或运行时检查类型无关:C在编译时检查,并且不是类型安全的; Python在运行时检查,并且类型安全.
既有静态类型检查和类型安全的单独概念.
那是对的吗?
python types dynamic-typing type-safety memory-safety
dynamic-typing ×1
memory-safety ×1
python ×1
type-safety ×1
types ×1