haskell - Haskell Accelerate 中的 Exp a -> a

Question

是否有具有这种类型签名的函数：Exp a -> a在 Haskell 的加速库中？

例如，我有一个表达式：

max = maximum mat !! 0

在哪里 mat :: Acc (Matrix Int)

然后， max 有 type Exp Int，但我希望 max 被表达为一个简单的 haskell's Int。

Answer 1

您首先需要将 转换Exp为Acc，然后运行它，最后索引结果数组：

indexArray (run (unit max)) Z

也许直接使用最大数组更容易：

indexArray (run (maximum mat)) (0 :. Z)