Fortran 七十周年：科学计算常青树的传承

Fortran 迎来了它的七十岁生日。这门诞生于 1957 年的编程语言，至今仍活跃在天气预报、量子化学、流体力学与高性能计算的第一线。它比 C 语言年长十五岁，比 Python 年长三十四岁，却依然是许多超级计算机上不可替代的存在。

从打孔卡到 AI 加速卡

Fortran 的诞生初衷，是让科学家不必再用汇编语言逐条指挥机器。它第一次证明了"高级语言也能生成高效代码"。此后七十年，它经历了 FORTRAN 66、77、90、95、2003、2008、2018 直至最新的 2023 标准，每一次演进都保留了对旧代码的向后兼容——这在编程语言史上极为罕见。

今天全球顶级超算中，大量核心数值内核仍以 Fortran 编写。美国气象局、欧洲中期天气预报中心、NASA 的仿真系统，以及几乎所有主流线性代数库（如 BLAS、LAPACK）的参考实现，都与 Fortran 有深厚渊源。当 GPU 与 AI 加速卡成为算力主流，Fortran 社区也在通过 OpenMP、OpenACC 与 CUDA Fortran 等方案继续适配新硬件。

列优先内存布局（Column-major order） 是 Fortran 自诞生起就采用的数组存储约定：多维数组在内存中按列连续排列，即最左侧的下标变化最快。这与 C/C++ 的行优先（Row-major）恰好相反。对科学计算而言，这一约定天然契合线性代数中按列访问的运算模式，也让编译器更容易识别连续内存访问、生成 SIMD 向量化指令和更高效的缓存预取策略。这也是为什么 BLAS、LAPACK 等以 Fortran 为参考实现的库能在多种硬件上保持极高吞吐——数据结构与算法访问模式高度一致，减少了跨语言调用时的转置与拷贝开销。

协数组（Coarrays） 是 Fortran 2008 引入的原生并行编程机制。开发者只需在变量声明时加上 [*] 之类的 codimension，即可让该变量在所有镜像（image，可理解为并行执行的副本）间分布与访问，语法层面通过 this_image()、num_images() 和 sync all 等内建过程协调。相比 MPI+C 需要手工管理通信域、消息标签与缓冲，协数组把并行语义直接写进语言，代码更简洁，也更利于编译器做静态分析与优化。

为什么科学家还在用 Fortran

在 r/ProgrammingLanguages、Hacker News 等社区的讨论中，开发者反复提到几个原因：

• 数值性能：Fortran 的多维数组原生支持与列优先内存布局，使编译器能进行更激进的向量化与循环优化。许多基准测试中，Fortran 代码比同等的 C 代码更快或持平。
• 代码遗产：几十年积累的物理模型、气候模拟、工程计算代码库规模庞大，重写成本高到无法承受。
• 并行与友好性：DO CONCURRENT、协数组（coarrays）、纯函数等特性，让并行编程的表达比 MPI+C 更简洁。
• 生态稳定：gfortran、Intel oneAPI Fortran、NVIDIA HPC SDK 等工具链持续维护，标准委员会仍保持活跃。

一位长期从事计算流体力学的开发者评论道："我用 Python 做原型，用 Fortran 跑生产。这不是怀旧，而是工程理性。"

BLAS（Basic Linear Algebra Subprograms）与 LAPACK（Linear Algebra PACKage） 是数值计算领域最基础的两层软件栈。BLAS 定义了向量加法、矩阵乘法等底层运算接口，LAPACK 则在其上实现线性方程求解、特征值分解、奇异值分解等高层算法。二者最初均以 Fortran 77 编写并公开参考实现，后来被 Intel MKL、OpenBLAS、ATLAS 等高度优化版本广泛替换，但接口约定始终沿用 Fortran 的调用规范与列优先假设。几乎所有科学计算语言（NumPy、MATLAB、R、Julia）的底层线性代数最终都会调用到这些库，因此 Fortran 实际上处于整个数值软件生态的地基位置。

DO CONCURRENT 是 Fortran 2008 引入、2018 进一步完善的循环结构，用于显式声明某段循环的迭代之间不存在顺序依赖，从而允许编译器自动并行化或向量化。它比 OpenMP 的 parallel for 更贴近语言本身，且能在不支持并行的平台上安全地退化为串行执行，兼顾了可移植性与性能表达。

传承与挑战

Fortran 面临的最大问题不是性能，而是人才断层。多数高校课程已转向 Python 与 C++，年轻开发者对 Fortran 的语法与工具链缺乏接触。社区正在通过 Fortran-lang 项目、标准库（stdlib）、包管理器（fpm）与现代化教程来降低门槛。这些努力让 Fortran 在保持传统优势的同时，逐步补齐现代开发体验。

七十年是一个里程碑。Fortran 的故事说明：只要一个工具在特定领域持续创造不可替代的价值，它就能跨越技术浪潮存活下来。对于今天追逐 AI 与云原生的开发者而言，这是一堂关于"长期主义"的课。

Fortran-lang 项目 是 2019 年前后由社区发起的现代化倡议，目标是为 Fortran 补齐长期以来缺失的现代开发基础设施。其核心产出包括：stdlib，一个官方风格的标准库，提供排序、字符串处理、数值工具等常用功能，弥补 Fortran 内建库过于精简的短板；fpm（Fortran Package Manager），一个借鉴 Cargo、npm 思路的包管理与构建工具，让 Fortran 项目能声明依赖、一键构建与测试；以及统一的官网、教程与编译器生态协调工作。这一系列努力试图降低新用户的上手门槛，缓解人才断层问题。