haskell - 堆叠 ResourceT monad 转换器

Question

我想将 ResourceT 与 ReaderT monad 堆叠在一起。看来我有两个选择:将 ReaderT 放置在堆栈的底部或顶部。

data MyEnv

newtype MyT1 m a = MyT1 { unT1 :: ResourceT (ReaderT MyEnv m) a }

newtype MyT2 m a = MyT2 { unT2 :: ReaderT MyEnv (ResourceT m) a }

就性能/正确性而言，什么会更好？将 ResourceT 与 WriterT 或其他 monad 堆叠的一般准则是什么？

Answer 1

就正确性而言，它们都同样正确 - 请参阅 @J.Abrahamson 和 @Michael Snoyman 的评论。

性能可能取决于使用情况，特别是它会改变跨越该特定层的调用次数，这应该是主要的性能差异。我想大多数公平的基准测试几乎不会显示出差异。对于整个程序的性能，分析是王道。