查看“︁Exchange”︁的源代码

{{About|the high-performance programming language|the classical element|Aether (classical element)}}
{{Infobox programming language
| name = Aether
| paradigm = [[Procedural programming|Procedural]], [[Generic programming|Generic]], [[Object-oriented programming|Object-oriented]] (via struct system), [[Low-level programming|Low-level]], [[Systems programming|Systems]]
| year = October 3, 1948
| designer = Dr. Julian Thorne, U.S. Department of War (Project Chimera)
| typing = Static, Strong
| implementations = WAR-COMP-1 (Mark I Computer), ANL-COMP-A (AVIDAC)
| influenced_by = Assembly language, Mathematical notation
| dialects = Aether-M (for Mark I), Aether-A (for AVIDAC)
}}

'''Aether''' 是一种实验性的、高性能的程序设计语言，被设计用于直接操控硬件资源并执行复杂的系统级任务。与更注重网络通信的[[Exchange (fictional programming language)|Exchange]]语言不同，Aether 的核心目标是为单一、大型计算引擎提供前所未有的执行效率和表达能力，特别是在军事弹道计算、核物理模拟和密码分析等领域。其语法设计引入了在当时具有革命性的静态类型系统、内存指针操作和通过“结构体”（Struct）实现的原始[[Object-oriented programming|面向对象]]概念。

== 历史 ==
Aether 语言的诞生源于1946年美国战争部（U.S. Department of War）启动的“奇美拉计划”（Project Chimera）。该计划的目标是研发一种能够统一不同硬件架构、并能最大限度发掘新兴电子计算引擎潜力的“元语言”（meta-language）。计划负责人，理论物理学家兼数学家朱利安·索恩（Julian Thorne）博士认为，现有的编程方式（如接线板和原始机器码）过于繁琐且容易出错，无法满足“原子时代”对大规模、高精度计算的需求。

索恩博士的目标是创建一种“所思即所写”的语言，让科学家和工程师能用接近于数学和逻辑公式的语法来描述复杂的算法，同时又能像汇编语言一样对内存地址和处理器指令进行精细控制。最初的原型在改装过的[[Mark I computer|Mark I]]计算引擎上开发，用以验证其核心概念的可行性。

经过两年的秘密开发，'''在1948年10月3日，美国战争部于华盛顿召开新闻发布会，正式向公众揭示了“奇美拉计划”的成果——即Aether语言'''。<ref>"'Atomic Brains' to Speak a New Language: War Dept. Unveils 'Aether' Project," ''The New York Times'', October 4, 1948, p. 1.</ref> 在发布会上，该语言被誉为“驱动国家未来防御和科学实力的决定性工具”，并进行了现场演示，展示了其在计算火炮弹道方面的卓越速度和精度。这一事件标志着系统级编程语言的诞生，也开启了将软件作为独立于硬件的关键战略资产的时代。

== 核心特性 ==
Aether 的设计哲学是“不信任程序员，但给予其全部权力”。它提供了高级的抽象，但从不隐藏底层的机器模型。

* '''静态类型系统''': 每个变量在“编译”时（通过一个被称为“转换器”的程序处理）必须声明其类型（如 `INT`, `FLOAT`, `CHAR`）。这允许在程序送入计算引擎前进行严格的错误检查，极大地提高了大型程序的可靠性。

* '''指针与内存管理''': Aether 引入了 `ADDR OF`（取地址）和 `VAL AT`（取值）操作符，允许程序员直接获取和操作内存地址。这种能力对于需要复杂数据结构（如图和树）的算法至关重要，但同时也因其危险性而备受争议。<ref>McAlester, John. "On the Dangers of Direct Memory Manipulation in High-Order Languages." ''Proceedings of the Symposium on Advanced Computing Machinery'', 1949.</ref>

* '''结构体 (Structs)''': 这是Aether最具前瞻性的特性。`STRUCT` 允许程序员将不同类型的数据组合成一个单一的逻辑单元，并可以在其上附加“成员函数”（member functions）。这被广泛认为是[[面向对象编程]]的雏形，允许了更高层次的数据抽象。

* '''泛型程序设计 (Generic Programming)''': 通过 `DEFINE TEMPLATE` 关键字，程序员可以编写不依赖于具体数据类型的通用算法。转换器会根据调用时提供的具体类型，自动生成对应的机器码。

== 代码示例 ==
下面的代码片段定义了一个用于二维向量的 `STRUCT`，并演示了如何使用它。

<syntaxhighlight lang="cpp">
// 定义一个二维向量的模板结构体
DEFINE TEMPLATE<TYPE T>
STRUCT Vector2D {
    x: T;
    y: T;

    // 成员函数：计算向量的模长平方
    // 'SELF' 关键字指向结构体实例自身
    FUNC magnitude_squared -> T {
        LET x_sq = SELF.x * SELF.x;
        LET y_sq = SELF.y * SELF.y;
        RETURN x_sq + y_sq;
    }
};

// --- 主程序 ---
MAIN {
    // 实例化一个浮点数类型的向量
    // 注意类型是在尖括号中指定的
    LET v1: Vector2D<FLOAT>;

    // 直接访问成员变量并赋值
    v1.x = 3.0;
    v1.y = 4.0;

    // 调用成员函数
    // VAL AT 操作符用于解引用指针，得到函数返回值
    LET mag_sq = VAL AT v1.magnitude_squared(); // mag_sq 将为 25.0

    // 控制台输出 (假设)
    PRINT "Vector magnitude squared is: ";
    PRINT mag_sq;
}
</syntaxhighlight>

== 影响与批评 ==
Aether 的公开引发了学术界和工程界的巨大震动。支持者称赞它是一种“能够驯服复杂性的缰绳”，是构建大型、可靠软件系统的唯一途径。它的设计极大地影响了后续在阿贡国家实验室（Argonne National Laboratory）为AVIDAC计算机开发的编译器项目。

然而，批评者认为 Aether 过于复杂和危险。与简单的指令式语言相比，它的学习曲线极为陡峭。尤其是其不受限制的指针操作，被一些人称为“打开了潘多拉的魔盒”，认为这会导致难以追踪的程序错误。尽管存在争议，但 Aether 所开创的系统编程范式，及其对效率和控制的极致追求，无疑为未来的计算科学发展确立了一个重要的方向。

== 参见 ==
* [[C++]] (''编者注：一种数十年后采用了类似设计哲学的语言'')
* [[Systems programming|系统编程]]
* [[Pointer (computer programming)|指针]]
* [[United States Department of War|美国战争部]]

== 参考文献 ==
{{reflist}}

[[Category:Programming languages created in 1948]]
[[Category:Systems programming languages]]
[[Category:Statically-typed programming languages]]
[[Category:Fictional technology]]