在代码库内部,静态类型系统可以是一个强大的工具。良好的类型系统使编译器能够检查代码的各个部分是否看起来内部一致: 您是否使用正确的参数调用过程? 您是否实现了接口定义的所有方法? 您是否正确初始化了对象? 虽然类型系统对于此类工作很有用,但还必须意识到它们的局限性。 编译器可以检查代码库的内部模型是否有意义,但它无法验证运行时发生的情况。...
静态类型系统有局限性,无法验证运行时情况和保护应用程序免受外部系统交互影响。ORM问题源于将实体视为数据库模式的静态类型视图。使用较低级别的API可以更真实地描述现实,但需要考虑容错性。