6.3.1 LIBRARY/USE 语义

文档摘要

6.3.1 LIBRARY/USE 语义在现代编程语言的演进史中，模块化从来不是一句轻飘飘的口号——它是编译器与程序员之间一场精密而沉默的契约。当我们在 Fortran 90 及其后继标准（如 Fortran 2003/2008/2018）中写下或，我们并非只是“导入”一个名字列表；我们正在触发一套跨越词法分析、符号解析、语义检查、依赖图构建、跨单元链接乃至运行时符号绑定的完整机制。语义，是 Fortran 编译器中唯一同时横跨静态链接期、编译期与运行时符号解析边界的元语义层。它既不是 C 的预处理拼接，也不是 Python 的动态模块加载，更非 Java 的简单别名映射——它是一套被严格形式化、可验证、可裁剪、且深度嵌入语言类型系统的声明式符号重绑定协议。