futhark

Futhark 语言博客讨论了拟议的 `flatmap` SOAC 扩展，用于向程序员暴露不规则数组，从而支持快速排序等递归数据并行算法，同时保持高效的 GPU 编译。

一篇博客文章，宣布在 Futhark 编程语言中加入递归函数，解释了递归在 GPU 后端上的历史性挑战以及所涉及的设计权衡。

Futhark 编译器现在支持嵌套数据并行的完全扁平化，允许任何 Futhark 程序编译为并行 GPU 代码，这是学生和研究人员多年工作后取得的里程碑。

这篇博客文章详细介绍了Futhark类型检查器的演变和最近的重构，从简单的类型检查器到Hindley-Milner推理，以及添加独特类型和大小类型等特性的复杂性。

通过一系列带注释的示例程序，对Futhark编程语言进行实践性介绍，涵盖基本特性和并行计算的编程技巧。