如何实现将[Either a Int]类型列表映射为整数列表？

你的代码存在两个问题：

1. 类型签名错误：函数需要返回等长的整数列表，因此返回类型应为[Int]而非Int
2. map参数写法错误：map只接受一个函数参数，不能传入两个lambda，需要用单个函数处理每个Either a Int元素

以下是几种简洁且符合Haskell idiom的实现方式：

方式1：使用标准库either函数 #

either是处理Either类型的标准工具函数，语法为either leftHandler rightHandler value，直接映射到你的需求：

processRights :: [Either a Int] -> [Int]
processRights = map (either (const 0) id)

• const 0：处理Left构造器，忽略内部值直接返回0
• id：处理Right构造器，直接返回内部的整数

如果需要更直观的展开写法：

processRights :: [Either a Int] -> [Int]
processRights xs = map (\elem -> either (\_ -> 0) id elem) xs

方式2：使用case模式匹配 #

通过模式匹配显式处理两种构造器，可读性更强：

processRights :: [Either a Int] -> [Int]
processRights xs = map (\case
                          Right x -> x
                          Left _  -> 0) xs

方式3：提取辅助函数（更易维护） #

将元素转换逻辑提取为单独的辅助函数，适合复杂场景：

processRights :: [Either a Int] -> [Int]
processRights = map toInt
  where
    toInt (Right x) = x
    toInt (Left _)  = 0

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