Data.Vector 模块
向量提供的 Data.Vector模块是一个用于处理数组的高性能库。
一旦你导入 Data.Vector
,就可以很容易地开始使用 Vector
了:
Prelude> import Data.Vector
Prelude Data.Vector> let a = fromList [2,3,4]
Prelude Data.Vector> a
fromList [2,3,4] :: Data.Vector.Vector
Prelude Data.Vector> :t a
a::Vector Integer
你甚至可以拥有一个多维数组:
Prelude Data.Vector> let x = fromList [ fromList [1 .. x] | x <- [1..10] ]
Prelude Data.Vector> :t x
x::Vector (Vector Integer)