haskell - 自然数序列生成器

Question

据我所知，Haskell 没有全局状态，所以有没有办法编写一个函数 f 来返回 f(n - 1) + 1，其中 n 是函数调用的次数，f(1) = 0.

它不应该接受任何参数，并且像 func f 一样使用

Prelude> f () 
0
Prelude> f ()
1

Answer 1

如果不使用像 unsafePerform 这样的技巧，就不可能定义一个可以像示例中所示那样调用的函数。但是，可以定义一个 IO 操作来执行您想要的操作，并且可以像这样使用:

Prelude> x <- f 
Prelude> x
0
Prelude> x <- f
Prelude> x
1

这是一个使用 IORef 执行您想要的操作的示例程序:

import Data.IORef

main = do counter <- newIORef 0
          let f = do count <- readIORef counter
                     modifyIORef counter (+ 1)
                     return count          
          x <- f
          print x
          x <- f
          print x