From 426d431d03599b65dee1ddffd8923098cbaa79b0 Mon Sep 17 00:00:00 2001
From: JJ
Date: Thu, 23 Nov 2023 16:28:52 -0800
Subject: meow

---
 computation/effects.md | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

(limited to 'computation/effects.md')

diff --git a/computation/effects.md b/computation/effects.md
index 7b8ba3e..ac11fae 100644
--- a/computation/effects.md
+++ b/computation/effects.md
@@ -1 +1,24 @@
-# 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)
+
+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.
-- 
cgit v1.2.3-70-g09d2