关于async库中`linkOnly`函数的使用困境咨询

要在linkOnly中匹配特定异常类型，别纠结SomeException没有Eq实例的问题，直接用Exception类型类提供的fromException函数结合类型检查即可，这是Haskell中处理异常类型匹配的标准方式。

核心实现思路 #

fromException可以尝试将SomeException转换为指定的异常类型：如果转换成功（说明是目标异常）则返回Just，否则返回Nothing，以此作为谓词的判断依据。

示例代码 #

1. 匹配标准库异常（比如IOException）

先导入必要模块：

import Control.Concurrent.Async (linkOnly)
import Control.Exception (SomeException, fromException)
import GHC.IO.Exception (IOException)

定义匹配谓词：

isIOException :: SomeException -> Bool
isIOException e = case fromException e of
                    Just (_ :: IOException) -> True
                    Nothing -> False

使用linkOnly时传入该谓词：

-- 假设a是你要链接的Async对象
linkOnly isIOException a

2. 匹配自定义异常

如果是自己定义的异常，只要让它实现Exception类型类（自动包含Typeable约束），同样可以用这个方法：

import Control.Concurrent.Async (linkOnly)
import Control.Exception (Exception, SomeException, fromException)
import Data.Maybe (isJust)
import Data.Typeable (Typeable)

-- 自定义异常
data MyAppException = MyAppException String deriving (Show, Typeable)
instance Exception MyAppException

-- 定义匹配谓词
isMyAppException :: SomeException -> Bool
isMyAppException = isJust . fromException @MyAppException

关于cast的补充 #

你之前尝试的Data.Typeable.cast也能实现类似效果，但fromException更适合异常场景——它能正确处理异常的包装层次（比如某些异常被AsyncException或其他包装器包裹的情况），而cast只能做直接的类型转换，因此优先推荐fromException。

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