: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?
🚧 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.)
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.
Frank compiler (by frank-lang)
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 .
A Proof-oriented Programming Language
Are there any other programming languages that use a similar memory architecture?
7 projects | reddit.com/r/rust | 26 Nov 2021
Release 0.45.0 · ponylang/ponyc (with Apple Silicon support)
1 project | reddit.com/r/contextfree | 8 Nov 2021
Asynchronous Everything (2015)
1 project | news.ycombinator.com | 13 Jun 2021
The Development of Erlang
1 project | news.ycombinator.com | 3 Jun 2021
What are some cool/wierd features of a programming language you know?
9 projects | reddit.com/r/ProgrammingLanguages | 12 Apr 2021