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