概念Type Safety
类型安全
编程语言在编译期或运行前对数据类型进行强制校验的机制，用于在代码执行前捕获类型不匹配错误
时间轴 (近 90 天)
10月14日
在交换实验中，所有条件下类型错误率均为 0%，因为每个答案都是合法选项。
待验证50%
10月13日
类型安全源自编程语言领域，指程序在编译或运行阶段能保证变量的值始终符合其声明的类型，从而早期捕获类型不匹配错误
待验证50%
9月23日
类型安全指通过静态类型系统或运行时校验，确保变量、函数输入输出的数据类型在编译期或调用时被验证
待验证50%