Monthly Hask Anything (May 2021)

• hierarchical-free-monads-the-most-developed-approach-in-haskell

  1 150 0.0 Haskell

  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?

• ghc-proposals

  160 675 9.2 Python

  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.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• effet

  2 44 0.0 Haskell

  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.

Suggest a related project