An experiment towards a UI programming model inspired by algebraic effects.
-
Updated
May 15, 2017 - Haskell
An experiment towards a UI programming model inspired by algebraic effects.
Talk about Leijen's "Type Directed Compilation of Row-Typed Algebraic Effects"
Masters Thesis, University of Oxford. Research project combining Calculating Compilers and Algebraic Effects using Haskell, supervised by Jeremy Gibbons. Presented work at the International Conference on Functional Programming Student Research Competition and the 7th South of England Regional Programming Languages Seminar.
A playground project for examples of using MTL with classy lenses
A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
a research programming language based on handlers
Extensible Effects in typescript
Delimited-continuation-based effects for Racket
An attempt to explain React Suspense to myself.
Tiny goodies for Continuation-Passing-Style functions (OLDER VERSION), use instead the NEWER `cpsfy`
Free as in beer, free as in algebra. Language with (co)algebraic effects and (co)handlers
A readline-like effect and carrier for fused-effects using haskeline
Parsing w/ fused-effects inspired by trifecta
Python library to work with algebraic effects
Freer monad for Clojure(Script)
An implementation of scoped algebraic effects and handlers in Agda.
Algebraic effects inspired, composable, minimalist and typed injection library
📐Let there be algebraic effects in JS
User defined effects for Kotlin multiplatform
Add a description, image, and links to the algebraic-effects topic page so that developers can more easily learn about it.
To associate your repository with the algebraic-effects topic, visit your repo's landing page and select "manage topics."