🚀 Effects
A prototype programming language for programming with runners
A summary of my activities during the past four years
A collaborative bibliography of work related to the theory and practice of computational effects
A fast, flexible, fused effect system for Haskell
Effects-based direct-style IO for multicore OCaml
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
A language with lexical effect handlers and lightweight effect polymorphism
A comparison of how computational effects and handlers are implemented in various programming languages.
Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
a functional programming language with algebraic effects and handlers
🐒🐼 Experimental, user-contributed effects and interpreters for polysemy
Introduction to algebraic effects and handlers
Monadic effects and equational reasoning in Rocq
Algebraic Effects in Haskell using Implicit Parameters
Low-overhead effect management for concrete monads
An "extensible coeffect" system built out of comonads and Day convolution.
An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
Formalised embedding of an imperative language with effect system into session-typed pi calculus.
An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff
An experiment towards a UI programming model inspired by algebraic effects.
"Programs that explain their effects" talk material
Source code accompanying "Latent Effects for Reusable Language Components"
A set of typeclasses and effects for Rust similar to those provided by Cats for Scala