Koka language compiler and interpreter
I believe the idea of "structural effects" already exists in the form of free monads and more generally, algebraic effects. You should check out koka.
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.
Release v2.4.0 · koka-lang/koka
1 project | reddit.com/r/contextfree | 8 Feb 2022
But indeed, `Memory` should be an effect, why not?
1 project | reddit.com/r/ProgrammingLanguages | 18 Nov 2021
What are the downsides to functional programming?
1 project | reddit.com/r/functionalprogramming | 27 Oct 2021
Release v2.2.0 · koka-lang/koka
1 project | reddit.com/r/contextfree | 27 Aug 2021
Koka: A Functional Language with Effects
1 project | reddit.com/r/functionalprogramming | 3 Jul 2021