用于改变其周围环境的函数的 Haskell 表达式？

Question

Haskell 是一种纯函数式语言，它为命令式表达式的等价物提供语法糖。例如，这个 Python 代码:

def f():
    n = 0
    for i in range(10):
        n += 1
    return n

可以使用 monad 逐行翻译成同构的 Haskell 代码。
函数改变其周围环境的代码也是如此吗？例如:

def f():
    n = 0
    def g():
        nonlocal n
        n += 1
    for i in range(10):
        g()
    return n

有没有办法将上面的一行一行翻译成同构的 Haskell？
我完全准备好接受答案是否定的，需要重新设计代码才能以不同的方式做同样的事情。但我认为值得询问是否有同构翻译。

Answer 1

您可以使用 State 封装 State 的更改.
在这种情况下，您的 g因此可以看起来像:

import Control.Monad.State.Lazy(State, modify)

g :: State Int ()
g = modify (1+)

然后 f也是State这将首先将状态设置为 0然后运行 ​​g十次:

import Control.Monad(replicateM_)
import Control.Monad.State.Lazy(State, get, put)

f :: State Int Int
f = do
    put 0
    replicateM_ 10 g
    get

然后你可以运行 f与 evalState :: State s a -> s -> a 我们提供了一个初始状态，它将返回 State s a 的结果。项目，所以这里是什么 get返回:

Prelude Control.Monad.State.Lazy> evalState f 0
10