From 439c5d3ef5fb8b8ebba28d45088d9b91db7418ac Mon Sep 17 00:00:00 2001 From: JJ Date: Thu, 4 Jan 2024 18:37:28 -0800 Subject: meow --- computation/effects.md | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 computation/effects.md (limited to 'computation/effects.md') diff --git a/computation/effects.md b/computation/effects.md deleted file mode 100644 index 17c558d..0000000 --- a/computation/effects.md +++ /dev/null @@ -1,27 +0,0 @@ ---- -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/) -- cgit v1.2.3-70-g09d2