If i understand correctly (from the Pawel Shultz presentation about MTL and final tagless) - this IS a final tagless approach. And MTL is a successfull part of final tagless approach too. But i'm joining to your question 🤔 (oh, just noticed that it was 3 years ago... He wont answer 😅)
Wonderful! This was just what I needed to make the structure of my program more rigid.
Is this the same / similar / related to tagless final? What are your thoughts on this approach vs freerer monads such as Freer-Simple?
If i understand correctly (from the Pawel Shultz presentation about MTL and final tagless) - this IS a final tagless approach.
And MTL is a successfull part of final tagless approach too.
But i'm joining to your question 🤔
(oh, just noticed that it was 3 years ago... He wont answer 😅)
Having to bring in Lenses and prisms ... aren't things getting too complex just to load from db then send to network.
So is this a design pattern?
You can certainly call it that if you want. I’m not sure whether it’s helpful or not though.