Haskell中如何用map替代列表推导式实现元素替换功能

错误原因 #

你代码出现解析错误的核心原因是混淆了列表推导式和map函数的语法规则：

• 列表推导式的| y <- ys是用来声明遍历变量和遍历范围的专属语法，只能在[ 表达式 | 绑定规则 ]的结构中使用
• map的第一个参数需要是一个仅作用于单个列表元素的函数，不需要额外声明遍历规则，map会自动遍历传入的列表，把该函数应用到每个元素上

正确实现 #

修改后的gRepMap代码如下：

gRepMap :: (t -> Bool) -> t -> [t] -> [t]
gRepMap pred x ys = map (\y -> if pred y then x else y) ys

这里lambda函数的入参y就是列表ys中的每一个元素，逻辑和你最初用列表推导实现的gRep完全等价。
小提示：建议把参数名pred改成其他名字比如p，避免和Prelude中自带的求前趋的pred函数同名，提升代码可读性

效果验证 #

运行你给出的测试用例，结果和原实现完全一致：

ghci> gRepMap (<'g') 'z' "abcdefghijklmnopqrstuvwxyz"
"zzzzzzghijklmnopqrstuvwxyz"
ghci> gRepMap (<3) 0 [1,2,3,4,5,6,7,8,9]
[0,0,3,4,5,6,7,8,9]

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