如何将listArray函数应用于列表元组？求正确实现方法

问题分析 #

你尝试用map将listArray应用到列表元组上，但存在两个核心错误：

1. map仅支持处理列表，无法直接操作元组（元组是固定长度的容器，和列表的类型逻辑不同）；
2. map的调用语法错误，它只接受「转换函数」和「待处理列表」两个参数，你传入了三个参数，不符合函数签名要求。

解决方案 #

方案一：手动逐个转换（最直观） #

直接对元组中的每个列表单独调用listArray，指定相同的索引范围(1,3)：

import Data.Array

(xs, ys, zs) = (listArray (1,3) [1,2,3], listArray (1,3) [4,5,6], listArray (1,3) [7,8,9])

执行后，xs、ys、zs会分别对应三个目标数组，符合预期。

方案二：用Applicative批量处理（减少重复代码） #

如果需要避免重复书写listArray (1,3)，可以借助Control.Applicative中的工具，将转换函数批量应用到元组的每个元素：

import Data.Array
import Control.Applicative

-- 定义通用转换函数
convert :: [Int] -> Array Int Int
convert = listArray (1,3)

-- 批量转换列表元组为数组元组
(xs, ys, zs) = (convert, convert, convert) <*> ([1,2,3], [4,5,6], [7,8,9])

这里利用了元组的Applicative实例特性：将包含三个相同转换函数的元组，与列表元组做<*>运算，会自动将每个函数应用到对应位置的列表上，最终生成数组元组。

验证结果 #

无论是哪种方案，最终生成的变量都会是：

• xs = array (1,3) [(1,1),(2,2),(3,3)]
• ys = array (1,3) [(1,4),(2,5),(3,6)]
• zs = array (1,3) [(1,7),(2,8),(3,9)]

内容的提问来源于stack exchange，提问作者MPP