Haskell Accelerate 中的 Exp a -> a

Posted 2023-03-06

【中文标题】Haskell Accelerate 中的 Exp a -> a

【英文标题】：Exp a -> a in Haskell Accelerate

【发布时间】：2021-06-12 21:10:45

【问题描述】：

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

例如，我有一个表达式：

max = maximum mat !! 0

在哪里 mat :: Acc (Matrix Int)

那么，max 的类型为 Exp Int，但我希望将 max 表示为简单的 haskell 的 Int。

【参考方案1】：

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

indexArray (run (unit max)) Z

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

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