2025年理想数组语言：硬件异构性下的编程范式

随着硬件的异构性日益增强（多核、多节点、GPU、FPGA等），传统的编程语言假设已不再适用。本文探讨了理想数组语言的设计，它应该具备秩多态性、直接编写内核的能力，以及值语义和自动缓冲区管理。作者认为，基于函数式、非缓冲的数组编程模型，结合MLIR等编译器基础设施，能够更好地利用硬件潜力，并通过友好的编译器优化报告提升用户体验。Fortran和APL被提及为具有启发意义的语言。