是否可以用纯 Haskell 语言对 GPU 进行编程？

Question

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

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

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

所以我的问题是：

1. 如果我将 C++ CUDA 函数作为纯函数包装到 Haskell 中，是否有什么东西可能会破坏？
2. 是否有一些库，使我能够仅使用纯 Haskell 来对 GPU 进行编程，而不使用 Haskell FFI？
3. 如果没有的话，理论上可以制作吗？

谢谢。