3 ms·
You mean algebraic effects? Can you link to more about how the specifically enable better memory management? I always though that would require linear types (at
by tomp 7y ago
You mean algebraic effects? Can you link to more about how the specifically enable better memory management? I always though that would require linear types (at least Rust-like memory management - I see how effects would enable memory-pool / stack-like memory management).
- pjmlp 7y agoYes, sorry about the error. Here are some papers about it, https://github.com/ocaml-multicore/ocaml-multicore/wiki https://github.com/ocaml-multicore/ocaml-multicore/wiki https://github.com/ocamllabs/ocaml-effects-tutorial https://github.com/ocamllabs/ocaml-effects-tutorial
- tomp 7y agoI can't find any details on memory management (except regarding multicore GC, which is not user-facing changes AFAIK).