Monad Transformers and Effects with Backpack

• ghc-proposals

  159 670 9.1 Python

  Proposed compiler and language changes for GHC and GHC/Haskell

  

• effet

  2 44 0.0 Haskell

  An effect system based on type classes, written in Haskell.

Interesting, thank you for writing this up. I tried something very very similar before writing effet, but while working with Backpack, I was constantly questioning the ergonomics of it all (in the context of writing effects), and ultimately decided that it is not worth it and abandonded the idea.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• backpackified-effects-playground

  1 1 0.0 Haskell

  effect libraries + backpack

What would be the advantage of having signatures of such fine granularity vs. having a big signature for your program logic which describes a monad with all the required MonadState, MonadReader... interfaces, and then an implementation module which assembles the whole monad transformer stack in the usual way? Something a bit like this?

Suggest a related project