Haskell函数编写问题：为数组中偶数元素追加指定Int

首先看你代码里的几个核心问题：

• 参数传递错误：Haskell多参数函数用空格分隔，不是元组形式。你写的f(x,[])会把参数当成一个元组，和类型签名Int -> [Int] -> [Int]不匹配，这是类型错误的根源。
• 列表拼接错误：head y返回的是单个Int，而++只能用于列表之间的拼接，必须把单个元素转成单元素列表[head y]才能用++。
• 函数应用优先级问题：even head(y)应该写成even (head y)，因为函数应用优先级最高，不加括号的话Haskell会把even和head当成函数组合，导致类型错误。
• 递归调用参数错误：递归时同样不能用元组传递参数，要写成f x (drop 1 y)。

修正后的基础版本代码：

f :: Int -> [Int] -> [Int]
f _ [] = []  -- 下划线表示忽略这个参数，更清晰
f x (y:ys)   -- 用模式匹配直接取头和尾，比head+drop更简洁
    | even y = y : x : f x ys
    | otherwise = y : f x ys

解释：

• 用(y:ys)模式匹配直接拆分列表的头元素y和剩余列表ys，避免手动调用head和drop，代码更易读且安全（不会出现空列表调用head的问题）。
• 用:（cons操作符）拼接单个元素到列表，比++更高效，因为++需要遍历整个列表。

另外，Haskell里可以用concatMap写出更简洁的版本，逻辑更直观：

f :: Int -> [Int] -> [Int]
f n = concatMap (\x -> if even x then [x, n] else [x])

这个版本直接对每个元素处理：如果是偶数，就生成包含原元素和指定Int的列表；否则只生成原元素的列表，最后用concatMap把所有小列表拼接成一个大列表。

测试你的示例：f 3 [1,2,3,4,5,6]会得到[1,2,3,3,4,3,5,6,3]，符合预期。

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