Detect infinite loops in a GHC program
问题 In this example, action is an infinite loop created by mistake. Is there a way to detect such loops in a GHC program? action bucket manager url = catch (action bucket manager url) (\(e :: HttpException) -> Logger.warn $ "Problems with " ++ url) 回答1: Short answer: no. It certainly isn't possible to notice every infinite loop one could write down; this is famously known as the halting problem and the formal proof that one cannot write a loop-detecting program is so famous that there's even a Dr