如何将List (Maybe Float)转为Maybe (Float, Float)以解析经纬度对

嗨，这个问题我太熟了！其实你已经搞定了最费劲的部分——把单个经纬度字符串解析成Maybe Float，剩下的组合工作Haskell标准库早就给你准备好了优雅的解法，完全不用手动写一堆case判断或者嵌套检查～

下面给你分享几种最常用的方案，挑你看着顺眼的用就行：

1. 用Applicative的liftA2（最简洁） #

这是我个人最推荐的写法，利用Applicative的特性把二元函数（这里就是打包元组的(,)）提升到Maybe上下文里，一行代码搞定组合：

import Control.Applicative (liftA2)

-- 假设你已经得到了[Maybe Float]，比如[Just 50.0814253, Just 14.4876106]
combineCoordinates :: [Maybe Float] -> Maybe (Float, Float)
combineCoordinates [lat, lon] = liftA2 (,) lat lon
combineCoordinates _ = Nothing  -- 处理输入列表长度不对的异常情况

逻辑很清晰：liftA2 (,)会自动检查两个Maybe值，只有当**两者都是Just**的时候，才会把里面的数值打包成Just (纬度, 经度)；只要有一个是Nothing，结果直接返回Nothing，完美匹配你的需求。

2. 用Do记法（可读性拉满） #

如果你更喜欢流程化的写法，Do记法会更直观，看起来像一步步的操作：

combineCoordinates :: [Maybe Float] -> Maybe (Float, Float)
combineCoordinates [lat, lon] = do
  latValue <- lat
  lonValue <- lon
  return (latValue, lonValue)
combineCoordinates _ = Nothing

这里的逻辑是：先尝试从lat里取出数值，如果lat是Nothing，整个Do块直接终止并返回Nothing；如果成功拿到纬度值，再去取经度值，最后把两个值打包返回。效果和上面的liftA2完全一致，只是写法更偏向“线性流程”。

3. 基础库解法（不用额外导入） #

要是你不想导入Control.Applicative，用Haskell默认的maybe函数也能写出优雅的代码：

combineCoordinates :: [Maybe Float] -> Maybe (Float, Float)
combineCoordinates [lat, lon] = maybe Nothing (\latVal -> (latVal,) <$> lon) lat
combineCoordinates _ = Nothing

这里的思路是：先处理纬度值——如果lat是Nothing，直接返回Nothing；如果是Just latVal，就把(latVal,)这个函数映射到lon上（<$>就是fmap的运算符），这样只要lon是Just，就会得到打包后的元组，否则还是Nothing。

另外补充一句：如果之后你想直接从原始字符串一步解析到Maybe (Float, Float)，可以试试Parsec或者Attoparsec这类专门的解析库，它们能把“解析单个坐标”和“组合成元组”的步骤合并得更丝滑，但就你现在的场景而言，上面的方法已经足够简洁优雅啦。

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