PureScript数组

PureScript中的数组与其他编程语言中的数组类似，可以存储多个值，并且可以通过索引访问和修改数组中的元素。

在PureScript中，数组是不可变的，也就是说一旦创建了数组，就不能修改数组中的元素。如果需要修改数组，需要创建一个新的数组。这是因为PureScript鼓励函数式编程，强调不可变性和纯函数的特性。

下面是一个创建和使用数组的例子：

import Data.Array (singleton, cons, snoc, head, tail, init, last, length, map, filter)

-- 创建一个空数组
emptyArray :: Array Int
emptyArray = []

-- 创建一个包含单个元素的数组
singletonArray :: Array Int
singletonArray = singleton 1

-- 在数组的开头添加一个元素
consArray :: Array Int
consArray = cons 0 [1, 2, 3]

-- 在数组的末尾添加一个元素
snocArray :: Array Int
snocArray = snoc [1, 2, 3] 4

-- 获取数组的第一个元素
firstElement :: Int
firstElement = head [1, 2, 3]

-- 获取数组的最后一个元素
lastElement :: Int
lastElement = last [1, 2, 3]

-- 获取数组中除第一个元素以外的所有元素
tailElements :: Array Int
tailElements = tail [1, 2, 3]

-- 获取数组中除最后一个元素以外的所有元素
initElements :: Array Int
initElements = init [1, 2, 3]

-- 获取数组的长度
arrayLength :: Int
arrayLength = length [1, 2, 3]

-- 对数组中的每个元素进行映射操作
mappedArray :: Array Int
mappedArray = map (\x -> x + 1) [1, 2, 3]

-- 对数组中的元素进行过滤操作
filteredArray :: Array Int
filteredArray = filter (\x -> x `mod` 2 == 0) [1, 2, 3, 4, 5]

需要注意的是，PureScript中的数组是具有多态的，可以存储任意类型的值。上面的例子中，我们使用了Array Int，表示数组中存储的是整数类型的值