文章探讨了理想数组语言的设计理念，强调用户可扩展的秩多态性、值语义和自动缓冲化等特性，并参考了Mojo和Fortran的数组语义，旨在提升数组操作的灵活性和效率。

我理想中的数组编程语言
作者：Asher Mancinelli
发布日期：2025年7月20日

在当今硬件日益异构化的背景下，编程语言需要适应新的计算单元和并行模式。本文探讨了作者心目中理想的数组编程语言应具备的特性，并分析了现有语言在应对现代硬件挑战时的不足。

为什么这很重要？

过去，程序默认在单核上运行，但随着硬件的发展，计算单元变得更加多样化，包括多核CPU、GPU、FPGA等。传统的编程假设已不再适用，编程语言需要能够优化这些异构硬件资源。

用户可扩展的秩多态性

秩多态性是数组语言的核心特性。虽然Numpy和JAX等工具提供了一定的秩多态性，但它们并非语言的一级特性。理想的数组语言应允许用户直接编写内核，并通过编译器进行优化。

值语义与自动缓冲化

大多数主流机器学习框架默认使用值语义，这为编译器提供了更多优化空间。Fortran的数组语义是一个很好的例子，它通过丰富的数组描述符（如形状、步长和边界信息）帮助编译器进行优化。

编译步骤

无论是离线编译还是在线编译，编译步骤都至关重要。离线编译适用于计算密集型任务，而在线编译（如Python）虽然降低了用户门槛，但可能成为性能瓶颈。

SIMT与自动并行化

SIMT（单指令多线程）模型允许并行执行相同的指令，而SIMD（单指令多数据）则依赖于编译器生成并行代码。理想的数组语言应允许用户选择SIMT编程，同时通过自动并行化实现高效执行。

数组感知的类型系统

类型系统应能够表示数组的形状、步长和边界信息，并支持自动类型推断。OCaml的类型系统灵活性是一个很好的参考。

语法

虽然作者对语法没有强烈偏好，但强调核心算法应有一致的表示方式。例如，Numpy的reduce和map操作应更加统一。

结论

随着硬件日益异构化，编程语言需要适应这些变化。作者认为，将程序建模为功能性的、无缓冲的数组程序是最有效的方式，能够更好地映射到现代和未来的硬件。

附加：并行函数式数组语言的比较

作者还推荐了一篇关于并行函数式数组语言比较的论文，强调了函数式、无缓冲的数组语言在优化方面的优势。

通过这篇文章，作者呼吁编程语言设计者和编译器工程师为未来的硬件做好准备，构建能够充分利用异构资源的编程语言和工具。

评论内容主要围绕“数组语言”和“秩多态性”展开，观点多样且涉及技术细节。以下是总结：

1. 对秩多态性的讨论：

   • 评论1（abcd_f）提问什么是秩多态性，认为这是数组语言的核心特征。
     • 引用：“IMO this is what makes something an array language.”（我认为这是使某种语言成为数组语言的原因。）
   • 评论7（hinkley）指出文章未解释秩多态性，尽管讨论了CPU的演变。
     • 引用：“You explain the evolution of CPUs but then don’t explain Rank Polymorphism.”（你解释了CPU的演变，但没有解释秩多态性。）

2. D语言与数组处理的性能：

   • 评论3（teleforce）认为D语言虽然没有秩多态性，但在数组处理上表现出色，速度快于Fortran、Rust和Julia。
     • 引用：“Dlang does not has rank polymorphism and it handle array just fine with crazy speed in both compilation and execution.”（D语言没有秩多态性，但在编译和执行中处理数组的速度非常快。）

3. 数组语言的语法与美感：

   • 评论4（nromiun）对数组语言的语法表示不满，认为其不够直观，难以理解。
     • 引用：“Call me old fashioned and stuck in C style syntax but I can’t imagine anyone describing this as beautiful art.”（可以说我守旧且固守C语言风格，但我无法想象有人会认为这是美丽的艺术。）

4. 相关资源与讨论：

   • 评论2（adregan）提到作者参与了播客《The Array Cast》的讨论，提供了相关链接。
     • 引用：“The author of this post was the guest on the most recent episode of the podcast The Array Cast.”（这篇文章的作者是最近一期播客《The Array Cast》的嘉宾。）
   • 评论5（rramadass）提供了之前关于数组语言的讨论链接，指出相关讨论较少。
     • 引用：“A previous relevant discussion since there is so little on Array Languages.”（由于关于数组语言的讨论很少，这里有一个之前的相关讨论。）

5. 数组广播的应用：

   • 评论6（goldenCeasar）提到在业务逻辑/规则引擎中构建了与数组广播相关的功能。
     • 引用：“I was building something very very related - array broadcasting with semantic preservation through arbitrary nesting levels.”（我正在构建一个非常相关的东西——通过任意嵌套级别实现语义保留的数组广播。）

总结：评论主要围绕秩多态性、数组语言的性能、语法美感以及相关资源展开，观点多样，既有技术探讨，也有对语言设计的批评。