类型安全

相比类继承，单分派不要求节点类实现特定接口或 accept 方法，从而在保持类型安全的同时实现了节点与操作的解耦。

在交换实验中，所有条件下类型错误率均为 0%，因为每个答案都是合法选项。

AI 生成代码时常滥用 as 类型断言，比如把 any 断言为具体类型，或在可以通过类型守卫收窄的地方直接断言。

类型安全源自编程语言领域，指程序在编译或运行阶段能保证变量的值始终符合其声明的类型，从而早期捕获类型不匹配错误

类型安全指通过静态类型系统或运行时校验，确保变量、函数输入输出的数据类型在编译期或调用时被验证