haskell - 使用严格注释将 GHC 引入无限循环

Question

出于某种原因，我需要欺骗 Haskell 执行一个无限循环，而不是仅仅检测它并用 <<loop>> 退出。 ，但这样做太聪明了。是否有任何方便的示例说明循环是由严格注释( ! )引起的，或者我可以关闭循环检测吗？目前我正在做

x = x + y
y = x + y
inf !n = 0

main = do
    print $ inf x

Answer 1

这应该这样做:

{-# LANGUAGE BangPatterns #-}
f :: Int -> Int
f x = if x >= 0 then f (x + 1) else 0

fun !n = 0

main = print $ fun $ f 0

在我添加 if 之前，GHC 确实似乎很聪明地发现了循环。它甚至发现了递归函数调用。

我已经用 -O3 测试过了在 GHC 7.10 上。

编辑:添加了额外的功能 fun正如提问者所建议的那样，只是为了满足涉及爆炸模式的要求。它与循环本身并不真正相关。也从 Integer 改变了至 Int正如另一个答案所建议的那样，以确保持续使用内存。