AUTOMAP：如何在 Futhark 中实现类似 NumPy 的广播（但更好）

AUTOMAP 是 Futhark 编程语言中一项即将推出的功能，它允许程序员像在 NumPy 中那样进行广播。与 NumPy 的动态方法不同，AUTOMAP 在编译过程中静态地推断出必要的映射和复制操作，从而实现高效的代码生成。该文章深入探讨了 AUTOMAP 的工作原理，包括其解决多维参数数学代码中秩差异的策略、处理歧义和确保最小插入操作的方法以及使用整数线性规划来确定最佳解决方案。