编译器时代终结？自动代码迁移的革命性提案

现代编译器的一个主要问题是它们缺乏时间概念。更新依赖项只会更新下载到硬盘上的代码，而不会修改其调用站点。本文提出了一种革命性的解决方案：自动代码迁移。通过类似数据库迁移的机制，编译器可以自动转换旧代码以适应新的函数类型或模块变化，从而避免因依赖项更新导致的代码中断。文中提出了两种方案：一种是直接在类型上声明迁移宏，另一种是使用迁移文件。这不仅解决了函数类型改变的问题，还能处理添加函数、添加trait实例等情况，有效避免不必要的代码中断，为现代软件开发带来新的可能性。