相关疑难解决方法(0)

我知道ST monad就像是IO的小兄弟,后者又是带有RealWorld魔法的状态monad .我可以想象状态,我可以想象RealWorld以某种方式被放入IO,但每次我写一个ST monad 的类型签名都ST让s我感到困惑.

举个例子吧ST s (STArray s a b).s那里的工作如何？它是否仅用于在计算之间建立一些人工数据依赖性,而不能像状态monad中的状态那样被引用(由于forall)？

我只是抛出想法,真的很感谢比我更有知识的人向我解释.