如何正确地实现Foreign.Storable来创建向量？

Question

我一直在做一个用列表来计算人工神经网络操作的项目。现在，我想将其转换为Data.Vector，以提高其效率。然而，目前我很难实现Foreign.Storable的定义，这是非常重要的。

好的，首先，我使用了Data.Array.Repa进行计算，有一个类型同义词，如下所示(CAMTypes.hs)：

type NTTVU = Array U VShape NTT

然后，我想以如下方式使用Data.Vector：

import qualified Data.Vector.Storable as VS
-- ...
trs = createThreshold 3 0 [9,8,7] :: NTTVU

但是，我得到以下错误：

$> VS.singleton trs
*** Exception: Prelude.undefined
CallStack (from HasCallStack):
  error, called at libraries/base/GHC/Err.hs:79:14 in base:GHC.Err
  undefined, called at ./Data/Vector/Storable/Mutable.hs:131:22 in vector-0.12.0.1-JlawpRjIcMJIYPJVsWriIA:Data.Vector.Storable.Mutable
CallStack (from -prof):
  Data.Vector.Storable.Mutable.basicUnsafeNew.size (Data/Vector/Storable/Mutable.hs:131:7-36)
  Data.Vector.Storable.Mutable.basicUnsafeNew (Data/Vector/Storable/Mutable.hs:(124,3)-(132,38))
  Data.Vector.Storable.Mutable.CAF:lvl12_r7YZK (<no location info>)

我已经完成了instance Storable NTTVU where的实现，但仍然在抱怨；我启用了分析，但没有告诉我更多的信息；尝试了按步骤进行调试，但也没有成功。希望有人知道很多关于它和如何解决它。

有关更多上下文，整个工程和相关文件：

• https://github.com/rval735/cnn-phd/blob/master/ProjectScope/PP-DNNInHaskell/Haskell-Example/src/CANTypesStorable.hs
• https://github.com/rval735/cnn-phd/blob/master/ProjectScope/PP-DNNInHaskell/Haskell-Example/GHCI-Scripts/ReplicateVectorError.hsi

Answer 1

我发现了问题：sizeOf。

当我实现它时，它依赖于vec来存在，并且定义了值，然而，情况并非如此。内存大小应该在向量存储实现之前就知道，这就是为什么它要创建错误。

因此，现在我已经将大小固定为"4"，但是如果您想要的是运行时分配，则不要使用它。

以下是该解决方案的提交：

• https://github.com/rval735/cnn-phd/commit/5984b1ea7145c600a6127e063258524226de5fe5