Haskell如何通过逐次匹配双元素按奇偶位置拆分列表并解决类型报错

错误原因 #

你的splitOnPos函数返回值是([a], [a])类型的二元组，但你在递归调用时直接将返回的元组作为(:)运算符的第二个参数，(:)要求第二个参数必须是和第一个元素同类型的列表，因此触发了类型不匹配报错。

修正后的代码 #

你需要先把递归调用返回的二元组拆分为两个独立的子列表，再分别追加当前匹配到的元素，同时补充单元素列表的边界分支处理奇数长度的输入：

splitOnPos :: [a] -> ([a], [a])
splitOnPos [] = ([], [])
-- 处理列表长度为奇数的剩余最后一个元素，归入偶数位列表
splitOnPos [x] = ([x], [])
splitOnPos (x1:x2:xs) = (x1 : restOdd, x2 : restEven)
    where 
        -- 解构递归返回的两个子列表
        (restOdd, restEven) = splitOnPos xs

验证效果 #

输入splitOnPos [2,3,6]，运行结果为([2,6],[3])，和预期要求一致。

内容的提问来源于stack exchange，提问作者program.exe