scala - Scala 中的局部效果和可变状态与 Cats
问题描述
在使用 Scala 进行函数式编程第 14 章（局部效果和可变状态）中，作者陈述了以下内容：
我们称这个新的局部效果单子 ST，它可以代表状态线程、状态转换、状态标记或状态标记。它与 State monad 的不同之处在于它的 run 方法是受保护的，但除此之外它的结构完全相同。
总的来说，它是作用域突变的单子。
我想知道是否有一些东西可以在猫效果中实现这一点？什么是 DataType 或 TypeClass ？
在使用 Scala 进行函数式编程第 14 章（局部效果和可变状态）中，作者陈述了以下内容：
我们称这个新的局部效果单子 ST，它可以代表状态线程、状态转换、状态标记或状态标记。它与 State monad 的不同之处在于它的 run 方法是受保护的，但除此之外它的结构完全相同。
总的来说，它是作用域突变的单子。
我想知道是否有一些东西可以在猫效果中实现这一点？什么是 DataType 或 TypeClass ？
标签： scalascala-catscats-effect