Looking for languages that combine algebraic effects with parallel execution

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

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

    This isn’t the answer you’re looking for but I wrote a JavaScript library a while back which supports async algebraic effects. It’s non-blocking but not parallel. Here’s a link to some toy examples: https://github.com/machellerogden/with-effects/blob/master/examples/async.js I figured I’d leave this here just in case it’s of interest.

  • dex-lang

    Research language for array processing in the Haskell/ML family

    I think [Dex](https://github.com/google-research/dex-lang) might be along the lines of what you're looking for, although its focus is on SIMD GPU-style parallelism rather than thread-level parallelism.

  • 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.

  • eff

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

    You'll get fearless parallel with STM in the mixture, and GHC is getting a work in progress effect system for Haskell, as Delimited continuation primops has been merged.

  • ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell

    You'll get fearless parallel with STM in the mixture, and GHC is getting a work in progress effect system for Haskell, as Delimited continuation primops has been merged.

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