为什么括号需要`release`来产生被忽略的结果？

Question

bracket 
     :: IO a   --^computation to run first (\"acquire resource\") 
     -> (a -> IO b) --^computation to run last (\"release resource\") 
     -> (a -> IO c) --^computation to run in-between 
     -> IO c   -- returns the value from the in-between computation 
bracket before after thing = 
    mask $ \restore -> do 
    a <- before 
    r <- restore (thing a) `onException` after a 
    _ <- after a 
    return r 

这与某些API设计模式或约定有关吗？为什么不使用以下签名部分？

 -> (a -> IO()) --^computation to run last (empty result) 

或

 -> (a -> IO a) --^computation to run last (`a` cannot be ignored) 

Answer 1

我认为你有它向后 - bracket会忽略你的释放操作的结果。

如果发布操作的签名是a -> IO()那么您将不得不提供总是返回()的函数。通过使签名a -> IO b您的发布函数可以返回任何东西，因为 类型变量b未在签名-i.e中的任何其他地方引用。它与任何其他类型的变量完全无关。