diff options
Diffstat (limited to 'plt/effects.md')
| -rw-r--r-- | plt/effects.md | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/plt/effects.md b/plt/effects.md new file mode 100644 index 0000000..03b7c8e --- /dev/null +++ b/plt/effects.md @@ -0,0 +1,27 @@ +--- +layout: plt +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/) |