Unresolved challenges of scoped effects, and what that means for `eff`

This page summarizes the projects mentioned and recommended in the original post on /r/haskell

WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell

    I think rank-2 polymorphism often really sucks to work with in Haskell, especially after SPJ’s “simplify subsumption” proposal, which often requires explicit eta-expansion to make programs typecheck. On the other hand, this idea is still more palatable than most other ones I’ve considered to make these sorts of interactions sound. Maybe the downsides of rank-2 polymorphism are worth accepting to better support scoping operations?

  • effectful

    An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

    I've been aware of these problems for some time from reading the eff issue tracker and in effectful I've chosen to "solve" them by simply not supporting effects such as NonDet/Coroutine, which makes the whole library much easier to reason about.

  • WorkOS

    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.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts