blob: 17c558de0cce08464c570dbe4e18cd2b0808e552 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
---
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/)
|
