なぜブラケットは無視される結果を生成するために `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のほかの場所では参照されません。 これは他の型変数とはまったく無関係です。