我正在寻找资源讨论组成monad的良好实践.我最紧迫的问题是我正在编写一个系统,该系统正在使用一系列状态monad而不是不同的状态类型,似乎处理这种情况的最好方法就是创建一个大的产品类型(可能是prettied)即使第1阶段对组件B不感兴趣,第2阶段仅对组件A.1感兴趣,也包括我感兴趣的所有组件.
在这类领域编写代码时,我非常感谢能够很好地讨论替代方案.我自己的代码库是在Scala中,但我很高兴阅读有关Haskell中相同问题的讨论.
monads haskell scala
haskell ×1
monads ×1
scala ×1