Haskell用try实现String转Float时IO与Either类型不匹配报错如何解决

问题根源 #

你代码里的核心错误有两个：

1. try和evaluate都是IO操作，你用let绑定得到的result类型是IO (Either SomeException Point2D)，不是直接的Either值，不能直接用case匹配Either分支，必须用<-在IO do块里执行这个IO操作才能拿到里面的Either值。
2. 你的函数签名声明返回纯Maybe Point2D，但内部用了IO操作，Haskell不允许在纯函数中执行IO逻辑，要么修改签名带IO上下文，要么换纯解析方案。
   另外你原有代码还漏了对输入列表长度不足2的情况的兜底匹配，会出现运行时模式匹配错误。

推荐修复方案（纯解析实现，无需IO） #

完全不需要用IO异常捕获的方案，Haskell标准库Text.Read提供了readMaybe函数，刚好满足你"解析成功返回Just，失败返回Nothing"的需求，是解析字符串的最优实践：

import Text.Read (readMaybe)

data Point2D = Point2D Float Float deriving (Show) -- 可替换为你自己的Point2D定义

-- | 从两个字符串尝试构建Point2D
createPoint :: String -> String -> Maybe Point2D
createPoint x y = Point2D <$> readMaybe x <*> readMaybe y

-- | 从拆分后的字符串列表提取前两个元素构建Point2D
pointExtraction :: [String] -> Maybe Point2D
pointExtraction (x:y:_) = createPoint x y
pointExtraction _ = Nothing -- 兜底处理列表长度不足2的情况

这个实现完全是纯函数，不需要IO上下文，符合解析操作的语义，也不会有异常相关的问题。

如果你一定要保留IO异常捕获的实现 #

如果因为特殊需求必须用try捕获异常的方式，可以按如下修改，注意函数签名要带上IO：

import Control.Exception (try, SomeException, evaluate)

data Point2D = Point2D Float Float deriving (Show) -- 可替换为你自己的Point2D定义

pointExtraction :: [String] -> IO (Maybe Point2D)
pointExtraction (x:y:_) = do
    -- 用<-执行IO操作拿到Either值
    result <- try (evaluate (Point2D (read x) (read y))) :: IO (Either SomeException Point2D)
    pure $ case result of
        Left _ -> Nothing
        Right point -> Just point
-- 兜底处理列表长度不足2的情况
pointExtraction _ = pure Nothing

注意这个实现的返回类型是IO (Maybe Point2D)，只能在IO上下文中调用。

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