Futhark编程语言 高性能纯函数式数据并行数组编程 概述 示例 文档 出版物 速度至上！ 参与其中 博客 在GitHub上Fork我 为Futhark添加新后端的挑战 发布于2025年3月4日 最近，Scott Pakin建议写一篇关于如何为Futhark编译器添加新后端的博客文章，由于目前后端正在积极调整，这确实是个不错的主意。让我们先管理一下预期：这不会是一个关于如何添加后端的教程。我不会深入探讨应该使用的特定内部API的细节。相反，我将专注于核心表示，并让大家了解添加新后端所需的工作（通常很复...

编写一个汇编器是一个有趣的例子：需要计算跳转指令与其目标标签之间的距离，而目标标签可能出现在跳转指令之后。事实证明，可以使用tardis单子或在Curry中编写一个单遍汇编器，利用逻辑编程。 然而，基于tardis的汇编器不适用于X86——跳转指令本身可能占用2或5字节，具体取决...