另外,一方是否意味着另一方？
static-typing strong-typing type-safety
static-typing ×1
strong-typing ×1
type-safety ×1