如何解决带有 Cats 的 Scala 中的局部效果和可变状态
在使用 Scala 进行函数式编程第 14 章(局部效果和可变状态)中,作者声明如下:
我们将这个新的局部效果单子称为 ST,它可以代表 状态线程、状态转换、状态标记或状态标记。它的 与 State monad 不同的是,它的 run 方法是受保护的, 但除此之外,它的结构完全相同。
总的来说,它是一个用于作用域突变的 monad。
我想知道在cats-effects中是否有实现这一点的东西?什么是 DataType 或 TypeClass ?
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。