Niklaus Wirth

简介

Niklaus Wirth（尼克劳斯·维尔特，1934-2024），瑞士计算机科学家，苏黎世联邦理工学院（ETH Zürich）教授，1984 年图灵奖得主。

主要贡献

Wirth 一生设计了一系列强调简洁与静态类型安全的语言：Euler、Algol W、Pascal、Modula-2 与 Oberon。其中 Pascal（1970 年）以清晰的结构化语法和严格类型检查成为数十年间全球编程教学的标准语言；Modula-2 引入模块系统；Oberon 则连语言带操作系统整体自举，体现其「软硬件协同的极简系统」理想。他提出的「算法 + 数据结构 = 程序」既是其名著书名，也成为计算机科学的常识性公式；描述语法的 EBNF 扩展巴科斯范式同样与他密切相关。

设计哲学

Wirth 以反对软件膨胀著称，「维尔特定律」——软件变慢的速度快于硬件变快的速度——即以他命名。其极简与类型安全传统深刻影响了 Go 等后来语言。