Where's more discussion of the designs of effect systems?

This page summarizes the projects mentioned and recommended in the original post on /r/ProgrammingLanguages
Control Language Fused Haskell Effects

InfluxDB - 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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • eff

    🚧 a work in progress effect system for Haskell 🚧 (by hasura)

    • Languages such as Koka only support algebraic effects, not scoping operations such as catch and listen. The Effect Handlers in Scope paper introduces scoping operations, which lead to the Haskell libraries fused-effects and polysemy, but they turned out to have some weird semantics. eff is her effort to fix that.

  • fused-effects

    A fast, flexible, fused effect system for Haskell

    • Languages such as Koka only support algebraic effects, not scoping operations such as catch and listen. The Effect Handlers in Scope paper introduces scoping operations, which lead to the Haskell libraries fused-effects and polysemy, but they turned out to have some weird semantics. eff is her effort to fix that.

  • InfluxDB

    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.

    InfluxDB logo

  • polysemy

    :gemini: higher-order, no-boilerplate monads

    • Languages such as Koka only support algebraic effects, not scoping operations such as catch and listen. The Effect Handlers in Scope paper introduces scoping operations, which lead to the Haskell libraries fused-effects and polysemy, but they turned out to have some weird semantics. eff is her effort to fix that.

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

  • Haskell doesn't make sense without pure functions

    4 projects | /r/haskell | 2 Oct 2021

  • Functors and Monads For People Who Have Read Too Many "Tutorials"

    5 projects | /r/programming | 26 Jun 2021

  • Monthly Hask Anything (June 2021)

    16 projects | /r/haskell | 2 Jun 2021

  • Monthly Hask Anything (May 2021)

    3 projects | /r/haskell | 5 May 2021

  • Monad Transformers and Effects with Backpack

    3 projects | /r/haskell | 24 Dec 2020