市场上可用的大多数 Web 框架都允许许多动态功能：
- 您可以使用无类型的（通常是字符串键）访问会话元素和请求参数
- 您使用字符串文字引用其他页面，即“post.html?id=%s”
- 您在字符串文字内创建数据库查询
- 大多数 Web 框架严重依赖反射来查找控制器操作等内容
是否有任何 Web 框架支持对这些东西进行静态检查？为什么这还没有在任何框架中实现？
PS IMO，这应该是可能的。我们以静态可检查（按语言类型系统）的方式创建桌面 GUI 应用程序，为什么我们不能对 Web 应用程序做同样的事情？