为什么一些好的开发工具会被束之高阁？

作者 | James Koppel译者 | 盖磊策划 | 万佳过去九年，我一直致力于推动软件开发工具的发展。此前，所谓“编程工具”只是文件的格式化浏览和编辑窗口，也会提供多种查找方式。对此，我曾深入提出，如何使编程工具能推理一组更改背后的意图，进而不再局限于“查找并替换”。时过境迁，编程人员对程序合成（program synthesis）等概念已耳熟能详，甚至已上手了某种验证工具。以高级开发工具研发为基础，市场上推出了多种得到广泛使用的产品，甚至 Facebook 已经企业内部部署了自动程序修复。尽管编程工具广为部署，但学术界对工具的研究遥遥领先。我们常常会看到，即便是发表于二十多年前的学术论文所提出的理念，经实验性验证可将一些任务的开发效率提高数倍。 ………………………………