随着AI工具的普及，强类型语言在代码安全性上愈发重要。研究表明，94%的LLM生成代码错误源于类型检查失败。TypeScript等强类型语言的使用量激增，开发者更倾向于选择降低风险的工具，以确保代码的可靠性和维护性。

大语言模型(LLMs)应优先考虑强类型编程语言，以提高代码生成的可靠性。当前的弱类型语言如JavaScript可能导致不确定性，影响AI生成代码的准确性。形式验证和专为AI设计的新语言可能是未来的解决方案，以确保代码的正确性和可靠性。

作者在编写游戏服务器代码时发现，传统编程原则如正交性和DRY原则难以严格执行。由于模块独立存储数据，导致数据一致性和复用性问题。作者尝试通过抽象中间结构和复用DB结构来解决，但效果有限。最终，作者建议模块通知框架处理数据存储，以减少不一致风险，提高代码抽象自由度。这种方法在强类型语言中实现复杂，但能提升代码质量和维护性。

作者几年前开始在IDE中支持编程语言，并开发了几个开源编程语言相关的工具。生成式AI进一步弱化了语言间的差异，通过语法树和最近变更的相关上下文分析人类行为，提供代码建议。IDE工具将进一步强化生成式AI。强类型语言的接受率比弱类型语言高10%，混合语言代码接受率下降。编程语言的基础设施需要重构。AI缩短了开发者在语言上的技能要求，降低了准入门槛。