Futhark 如何向程序员暴露不规则数组：一次表达力的小扩展

📋 概述

Futhark 是高性能纯函数式数据并行数组语言。最近它新增了 flattening 非均匀数据并行与递归函数等强力特性：前者主要是编译器变换，让 map (\n -> i64.sum (iota n)) ns 这类内层并行度因迭代而异的表达式得以充分压榨 GPU 并行性。本文讨论在此基础上如何通过一个相当小的语言扩展，从根本上提升 Futhark 的表达力，让程序员能自然地处理不规则数组，并演示了现在能写出哪些新程序。