带有 Cats 的 Scala 中的局部效果和可变状态

问题描述

在使用 Scala 进行函数式编程第 14 章（局部效果和可变状态）中，作者声明如下：

我们将这个新的局部效果单子称为 ST，它可以代表 状态线程、状态转换、状态标记或状态标记。它的 与 State monad 不同的是，它的 run 方法是受保护的， 但除此之外，它的结构完全相同。

总的来说，它是一个用于作用域突变的 monad。

我想知道在cats-effects中是否有实现这一点的东西？什么是 DataType 或 TypeClass ？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）