从半人马座到元环境:向一位伟大的元技术专家致敬
1. 初识INRIA Rocquencourt
1983年7月初,一个阳光明媚的日子,我把我的米色雪铁龙迪亚纳停在了INRIA Rocquencourt的停车场。当时的建筑显得有些陈旧,但室内却充满了活力。我受到了由吉尔斯·卡恩领导的CROAP项目的热烈欢迎。我的室友Veronique Donzeau-Gouge和Bertrand Mélès帮助我在狭小的空间中找到了一张办公桌,并协助我在霍尼韦尔-布尔大型机上设置了一个Multics账户。
这次访问让我深入了解了INRIA在语法导向编辑、ADA的形式定义、Metal语言定义形式化以及Mentor系统等方面的工作。这些工作受到了吉尔斯早期关于编程语言语义研究的启发。Mentor系统是早期的单语言编程环境之一,它将编程、命令行执行和调试都用同一种语言完成。这种环境的设计理念极大地提升了编程效率和可靠性。
2. GIPE项目的诞生
1984年初,吉尔斯打电话给我,提议我们应该申请一个名为“交互式编程环境的生成”(GIPE)的ESPRIT项目。GIPE项目的主要目标是探索从语言规范自动生成交互式编程环境的可能性。具体来说,GIPE项目旨在研究如何通过语言的语法和语义描述自动生成一套集成工具,用于程序的增量创建、操作、转换和编译。
2.1 GIPE项目的目标
GIPE项目的目标可以概括为以下几个方面:
- 自动生成 :从语言的语法和语义描述中自动生成编程环境。
- 集成工具 :生成的编程环境应包含一系