型安全 type-safe