🚀 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
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