haskell - 没有 ScopedTypeVariables 的外部边界类型声明

Question

我有以下工作定义:

{-# LANGUAGE ScopedTypeVariables #-}
module Control.Retry where

import Prelude hiding (catch)
import Control.Exception
import Control.Concurrent

retrying [] action = action 
retrying (i:is) action = catch action processError
  where 
    processError (e :: IOException) = threadDelay i >> retrying is action

出于好奇，我想知道如何在不使用 ScopedTypeVariables 的情况下重新实现它pragma，或者我是否可以，以及 processError 的推断类型声明是什么？实际上是，因为指定 processError :: IOException -> IO a使其无法编译。

Answer 1

另一种选择，可能比 asTypeOf 更简洁:

retrying [] action = action 
retrying (i:is) action = catch action processError                                                                                                                                
  where
    processError e = threadDelay i >> retrying is action
      where
        _ = e :: IOException

不确定这是否是惯用的；我只是编造出来的，它奏效了。