haskell - 是否可以在纯 Haskell 中对 GPU 进行编程？

Question

我想知道，我是否可以在纯 Haskell 中编写应该由 GPU 评估的代码。

例如，GPU 中两个大矩阵相乘的函数（理论上）没有副作用，因此可以从纯 Haskell 函数中调用它。

但我也担心，如果我只是通过 FFI 将 CUDA C++ 程序作为纯函数包装到 Haskell 中，是否会出现问题。正如我从文档中了解到的那样，我必须确定没有副作用，我完全不确定。

所以我的问题是：

1. 如果我将 C++ CUDA 函数作为纯函数包装到 Haskell 中，有什么可能会破坏吗？
2. 是否有一些库可以让我只使用纯 Haskell 来编程 GPU 而无需使用 Haskell FFI？
3. 如果没有，理论上是否可以制作一个？

谢谢。