Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell
Thanks for this illuminating reply. I agree that separation of concerns is very valuable, and that the effect frameworks I've mentioned in my question are better than mtl at it. However, would you agree that separation of concerns can also be achieved by other means that these effects frameworks, i.e. using the so-called tagless final style or other blends of free monads, such as for instance hierarchical free monads?
Proposed compiler and language changes for GHC and GHC/Haskell
However, I am an academic/hobbyist user, so I am naturally more inclined to use bleeding edge technologies. And I think a shift will come when delimited continuation primops are implemented in GHC, which will make effect libraries more performant than other approaches. After that there will surely be some time for all effect libraries to adapt and then we'll see which one gets the most traction.
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
An effect system based on type classes, written in Haskell.
You may also be interested in effet, which is an mtl-like effect system which tries to overcome the limitations of mtl.
Where's more discussion of the designs of effect systems?
4 projects | reddit.com/r/ProgrammingLanguages | 17 Nov 2021
Haskell doesn't make sense without pure functions
4 projects | reddit.com/r/haskell | 2 Oct 2021
Monad Transformers and Effects with Backpack
3 projects | reddit.com/r/haskell | 24 Dec 2020
Haskell - Important Libraries
11 projects | reddit.com/r/haskell | 24 Mar 2022
[ANN] cleff - fast and consise extensible effects
2 projects | reddit.com/r/haskell | 30 Jan 2022