但随着开发者越来越多地使用 AI 工具，变化正在发生：大家不仅更倾向于选择更流行、因而在模型中训练得更充分的语言和库，也在主动选择能降低风险的工具。当代码不再只来自开发者本人，还来自 AI 工具时，可靠性就成了更重要的考量。

而不仅是Type，其他强类型语言如Luau和Typst也在快速增长，显示出强类型语言在现代开发中的强大生命力。这些语言为开发者提供了不同层级的安全护栏，使得AI生成的代码能够更安全地嵌入现有项目，确保原有的假设不被破坏。