极道
·
静态类型很有用，但也有局限性
💡
原文中文，约1200字，阅读约需3分钟。
📝
内容提要
静态类型系统有局限性，无法验证运行时情况和保护应用程序免受外部系统交互影响。ORM问题源于将实体视为数据库模式的静态类型视图。使用较低级别的API可以更真实地描述现实，但需要考虑容错性。
🎯
关键要点
-
静态类型系统在代码库内部是强大的工具，但有局限性。
-
编译器无法验证运行时发生的情况，无法执行有用的健全性检查。
-
与外部系统交互时，存在与系统不一致的风险，静态类型无法保护应用程序。
-
ORM的许多问题源于将实体视为数据库模式的静态类型视图。
-
需要保持数据库表结构和实体类的同步，但静态类型可能并不代表实际内容的真相。
-
使用较低级别的API（如ADO.NET）可以更真实地描述与数据库的交互。
-
代码实现应考虑容错性，以应对输入偏差。
-
所有模型都是错误的，但有些模型是有用的，静态类型也是如此。
➡️
