州monad的目的是什么？

我是一名Javascript开发人员,可以提升我在函数式编程方面的技能.在管理国家时,我最近碰到了一堵墙.在搜索解决方案时,我在各种文章和视频中对状态monad进行了标记,但我很难理解它.我想知道是不是因为我希望它不是.

我试图解决的问题

在Web客户端中,我从后端获取资源.为了避免不必要的流量,我在客户端创建一个包含已经获取的数据的简单缓存.缓存是我的状态.我希望我的几个模块能够保存对缓存的引用并查询它的当前状态,这个状态可能已被另一个模块修改过.

这当然不是Javascript中的问题,因为它可以改变状态,但我想学习更多关于函数式编程的知识,我希望状态monad会帮助我.

我期待什么

我以为我可以这样做:

var state = State.of(1);
map(add(1), state);
state.evalState() // => 2 

这显然不起作用.国家总是1.

我的问题

我对状态monad的假设是错误的,还是我只是错误地使用它？

我意识到我可以这样做:

var state = State.of(1);
var newState = map(add(1), state);

...并且newState将是2的状态.但是在这里我并没有真正看到状态monad的使用,因为我将不得不创建一个新实例以便更改值.这对我来说似乎总是在函数式编程中完成,其中值是不可变的.

状态monad的目的是隐藏函数之间的状态传递.

我们来举个例子:

方法A和B需要使用一些状态并使其变异,而B需要使用A变异的状态.在具有不可变数据的函数式语言中,这是不可能的.

相反的是:初始状态与其需要的参数一起传递给A,并且A返回结果和"已修改"状态 - 实际上是新值,因为原始未被更改.这个"新"状态(也可能是结果)通过其必需的参数传递给B,并且B返回其结果和它(可能已经)修改的状态.

各地通过这个国家明确是一个PITA,所以国家单子隐藏了其下盖一元,让需要访问状态的方法来得到它通过get和set一元的方法.

为了使用有状态计算A和B,我们将它们组合成一个集合状态计算,并为该集团提供一个运行的开始状态(和参数),并返回一个最终的"修改"状态和结果(在运行A之后) ,B,以及它由其组成的任何其他东西).

从你所描述的内容来看,在我看来,你正在寻找更多类似于并发的actor模型的东西,其中状态是在一个actor中管理的,其余的代码通过它与它接口,检索(a它的非可变版本或告诉它通过消息修改.在不可变语言(如Erlang)中,actor阻塞等待消息,然后在它进入时处理一个消息,然后循环通过(尾部)递归; 它们将任何修改后的状态传递给递归调用,这就是状态被"修改"的方式.

正如你所说的那样,因为你使用的是Javascript,所以这不是什么大问题.