---
layout: computation
title: computation/effects
---

# effects

posts
- [Oleg Kiselyov's writings](https://www.okmij.org/ftp/)
- [Exotic Programming Ideas: Effect Systems](https://www.stephendiehl.com/posts/exotic03.html)
- [Faking algebraic effects and handlers with traits](https://blog.shtsoft.eu/2022/12/22/effect-trait-dp.html)
- [From deliminated continuations to algebraic effects](https://blog.poisson.chat/posts/2023-01-02-del-cont-examples.html)
- [OCaml effects tutorial](https://github.com/ocaml-multicore/ocaml-effects-tutorial)
- [Simple functional effects with tag unions](https://www.youtube.com/watch?v=7SidSvJcPd0)
- [Effect bibliography](https://github.com/yallop/effects-bibliography)

papers
- [What is algebraic about algebraic effects and handlers?](https://arxiv.org/abs/1807.05923)
- [Asynchronous effects](https://dl.acm.org/doi/10.1145/3434305)

languages
- [Koka](https://koka-lang.github.io/koka/doc/book.html)
- [Effekt](https://effekt-lang.org/)
- [Eff](https://www.eff-lang.org/)
- [Unison](https://www.unison-lang.org/)
- [Effect handlers for WebAssembly](https://wasmfx.dev/)
- [Coeffects: Context-aware programming languages](https://tomasp.net/coeffects/)


similar to monads, continuations, ... effects provide a generalized mechanism for control flow.