我希望在Haskell中解决一些图像处理问题。 我使用百万像素的双色（位图）和彩色图像。我有一些问题：
选择Vector.Unboxed和UArray之间应该根据什么依据？ 它们都是未装箱数组，但Vector抽象似乎被大力推广，特别是在循环融合方面。 Vector总是更好吗？ 如果不是，那么何时使用哪种表示？
对于彩色图像，我希望存储16位整数或单精度浮点数的三元组。 为此，Vector或UArray哪个更易于使用？ 更高效吗？
对于双色图像，我需要每个像素只存储1个位。 是否有预定义的数据类型可以通过将多个像素打包成一个字来帮助我，还是我自己动手？
最后，我的数组是二维的。 我想我可以处理由“数组的数组”（或向量的向量）表示所强加的额外间接性，但我更喜欢具有索引映射支持的抽象。 有没有人可以从标准库或Hackage中推荐任何东西？
我是一个函数式程序员，不需要变异:-)
对于多维数组，在我看来，Haskell目前最好的选择是repa。
Repa提供高性能、规则的、多维的、形状多态的并行数组。所有数值数据都以非装箱方式存储。使用Repa组合器编写的函数在提供+RTS -Nwhatever命令行参数运行程序时会自动并行化。
最近它已经被用于一些图像处理问题：
我已经开始写有关repa使用的教程，如果你已经了解Haskell数组或向量库，这是一个很好的起点。关键的过渡是使用形状类型而不是简单的索引类型来处理多维索引（甚至是stencils）。
repa-io包包括支持读写.bmp图像文件的功能，尽管需要支持更多格式。
针对你具体的问题，这里有一张图表和讨论：
我应该根据什么基础来选择Vector.Unboxed和UArray？
它们具有大致相同的底层表示，然而，主要区别在于与向量一起使用的API的广度：它们几乎拥有您通常与列表相关的所有操作（具有融合驱动的优化框架），而 UArray 几乎没有API。
对于彩色图像，我希望存储16位整数或单精度浮点数的三元组。
UArray 对于多维数据具有更好的支持，因为它可以使用任意数据类型进行索引。虽然这在 Vector 中也是可能的（通过编写您的元素类型的 UA 实例），但这不是 Vector 的主要目标——相反，这就是 Repa 介入的地方，使得非常容易使用以有效方式存储的自定义数据类型，感谢形状索引。
在 Repa 中，您的三个shorts将具有以下类型：
Array DIM3 Word16
值得一提的是：
vector或repa类型。我曾经回顾过与我相关的Haskell数组库的特点，并编制了比较表格（只有电子表格：直接链接）。所以我会试着回答。
在什么基础上应该在Vector.Unboxed和UArray之间进行选择？它们都是非装箱数组，但Vector抽象似乎在循环融合方面广泛宣传。Vector总是更好吗？如果不是，那么应该在什么情况下使用哪种表示？
如果需要二维或多维数组，则可以优先选择UArray。但是，Vector在操作向量方面具有更好的API。一般来说，Vector不适用于模拟多维数组。
无法使用Vector.Unboxed并行策略。我怀疑UArray也无法使用，但至少从UArray切换到装箱数组非常容易，并查看并行化是否超过了装箱成本。
我尝试使用数组来表示图像（虽然我只需要灰度图像）。对于彩色图像，我使用Codec-Image-DevIL库来读写图像（绑定到DevIL库），对于灰度图像，我使用pgm库（纯Haskell）。对于彩色图像，我希望存储16位整数或单精度浮点数的三元组。为此，使用Vector还是UArray更容易？更高效？
还有用于矩阵的blas库，但它不能在GHC7上构建。
我对Repa没有太多经验，也不太了解repa代码。从我所看到的来看，它具有非常有限的现成矩阵和数组算法，但至少可以通过该库的手段表达重要的算法。例如，在repa-algorithms中已经有了矩阵乘法和卷积例程。不幸的是，似乎卷积现在仅限于7×7内核（对我来说不够，但对许多用途应该足够）。
我没有尝试过Haskell OpenCV绑定。它们应该很快，因为OpenCV真的很快，但我不确定绑定是否完整且好用。此外，由于OpenCV本质上是非常命令式的，充满了破坏性更新，所以我认为很难在其上面设计一个漂亮而有效的函数接口。如果一个人选择使用OpenCV，他可能会在任何地方都使用OpenCV图像表示，并使用OpenCV例程来操作它们。
据我所知，未打包的布尔数组 负责打包和解包位向量。我记得在其他库的布尔数组实现中看到过这个功能。对于二值图像，我只需要存储每个像素的1位。是否有预定义的数据类型可以通过将多个像素打包到一个字中来帮助我，还是我需要自己处理？
除了 Vector（和简单列表）之外，所有其他数组库都能够表示二维数组或矩阵。我想它们避免了不必要的间接性。最后，我的数组是二维的。我想我可以处理由“数组的数组”（或向量的向量）表示所施加的额外间接性，但我更喜欢具有索引映射支持的抽象。有人能推荐标准库或 Hackage 中的任何内容吗？
M_PI未声明）。 - sastanin如果有人能找出如何直接将repa或类似的数组库与opencv配合使用，那将非常棒。
这里有一个新的Haskell图像处理库，可以处理所有相关任务以及更多。目前它使用Repa和Vector包作为底层表示，因此继承了融合、并行计算、变异和大部分其他与这些库一起使用的好处。它提供了一个易于使用的界面，非常适合图像操作：
Double、Float、Word16等）map、fold、zipWith、traverse等最重要的是，它是一个纯Haskell库，因此不依赖于任何外部程序。它也具有高度可扩展性，可以引入新的颜色空间和图像表示。
它没有做的一件事情是将多个二进制像素打包在一个Word中，而是每个二进制像素都使用一个Word，也许在未来会改变...
Array接口支持多维数组。你可以简单地使用一个元组作为索引。 - John LInt元组索引的普通UArray很容易使用，通常也足够好，但即使 GHC 的深度魔法也无法将使用其最小 API 的代码优化为与针对快速并行批量数据处理进行调整的库相竞争的东西。 - C. A. McCann