奥利-约翰·达尔（Ole-Johan Dahl）

奥利-约翰·达尔（Ole-Johan Dahl，1931—2002）是挪威计算机科学家，Simula 语言的共同设计者，面向对象编程的奠基人之一，2001 年与克里斯汀·尼加德共同获得图灵奖。

概述

达尔在挪威计算中心与尼加德合作开发 Simula。若说尼加德更多提供了建模思想与需求，达尔则在语言的形式化、编译实现和理论严谨性方面贡献突出。Simula 67 将类、对象、继承等机制以严格的语言结构固化下来，成为面向对象范式的技术起点。

核心贡献

• 与尼加德共同设计 Simula，负责语言的形式定义与实现。
• 推动结构化编程与程序正确性证明的研究，与迪杰斯特拉、霍尔等人在这一方向上有交集。
• 晚年在奥斯陆大学任教，撰写关于面向对象规格说明与程序验证的著作。
• 其严谨的语言设计风格影响了后续多门语言的形式语义研究。

应用场景

达尔奠定的面向对象机制被应用于当今绝大多数软件系统。他所强调的程序正确性与形式规格思想，则在高可靠系统、编译器验证和形式化方法领域持续发挥作用。Simula 中类与对象的严谨定义，为后来编程语言设计中的类型系统与封装机制提供了范本。

常见问题

问：达尔和尼加德的分工有何不同？答：一般认为尼加德偏重需求分析与建模思想，达尔偏重语言的形式化与实现，二人紧密合作缺一不可。

问：结构化编程和面向对象是什么关系？答：两者都是提升程序清晰度与可靠性的努力，结构化编程侧重控制流的规范，面向对象侧重数据与行为的封装，达尔在这两方面都有贡献。