The Problem of Effects (2020)

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • OPS - Build and Run Open Source Unikernels
  • SonarQube - Static code analysis for 29 languages.
  • GitHub repo ponyc

    :horse: Pony is an open-source, actor-model, capabilities-secure, high performance programming language

    There are several languages that are working on solving the composable effects problem that I am aware of:

    * Pony - capabilities based language inspired by `E`. Effects are like Rust's (provided by the language, not extensible by end users): https://www.ponylang.io/

    * Koka - effects are first class and higher order. `filter` is a higher order function that is "effectfully parameterized" as well as "parameterized over its types". Effects can be discharged at any level of the program and the effects "stack" is manipulable (in what appears to be a principled way) https://koka-lang.github.io/koka/doc/index.html

    * Multi-core OCaml is also building parallelism on a version of effects that looks quite a lot like Koka (though I'm not familiar enough with it to say how close they are in practice).

    What other ones am I missing?

  • GitHub repo eff

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

    Let me tell you what I'm worried about with effects systems: One of the smartest people I know of has a library called Eff https://github.com/hasura/eff that efficiently implements effects through some modifications to GHC. The thing is, she's pretty much stopped working on because she found some really nasty semantic edge-cases that she couldn't resolve to her satisfaction. (I don't understand the problems well enough to describe them, and I think they're specific to lazy languages, but it has left me cautious about the effect model in general.)

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • GitHub repo frank

    Frank compiler (by frank-lang)

  • GitHub repo ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell (by nicuveo)

    What makes you say it ran aground? I thought it was just waiting for [0].

    [0]: https://github.com/nicuveo/ghc-proposals/blob/master/proposa...

  • GitHub repo FStar

    A Proof-oriented Programming Language

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