问Exp a -> a in Haskell Accelerate
EN

Stack Overflow用户

提问于 2021-06-13 05:10:45

回答 1查看 64关注 0票数 0

在Haskell的加速库中有没有这样的类型签名函数：Exp a -> a？

例如，我有一个表达式：

max = maximum mat !! 0

where mat :: Acc (Matrix Int)

然后，max具有类型Exp Int，但我希望max表示为一个简单的haskell's Int。

回答已采纳

发布于 2021-06-13 05:23:33

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

indexArray (run (unit max)) Z

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

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

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/67953034

复制

相似问题

问Exp a -> a in Haskell AccelerateEN