hierarchical free monads the most developed approach in haskell:有关Hierarchical F

分层免费Monads:Haskell中最发达的方法 (以及最终无标签的死亡) 抽象的 本文适用于在Haskell中寻找创建真实软件的方法的人。 本文介绍了称为Hierarchical Free Monads(HFM)的方法,并说明了为什么它比其他方法更好,以及如何使用该方法来推动多个业务。 与Final Tagless / mtl相比,本文还提供了有关HFM的技术观点,并演示了如何使用它解决典型任务。 此外,该文章揭穿了有关“免费Monads”的一些普遍神话。 还有一些哲学上的题外话,我试图解释为什么Haskell尚未像现在这样流行,以及为什么我们需要所有被称为“软件工程”的知识来使其更广泛地传播。 本文不适用于有强烈见解的经验丰富的散客,也不适合那些认为软件工程本质上是不好的人。 他们可能会发现我夸张和夸张了太多,但这只是我感觉的最好例证。 目录 资源管理 可测性 表现 结论 告别词