And just realized there's a relationship between the async executor video I'm working on and another video I've long had planned on dynamic scoping. That one should be really fun when I get to it, too.
Conversation
I dunno if you've seen Multicore OCaml's approach to executors? It uses effect handlers for asynchronous scheduling, which seems really clean and nice (compared to async/await), and could also link in with dynamic scoping.
1
2
IIUC the type system work is running a bit behind the runtime work, but both are progressing well, and actually influenced React Fiber:
- kcsrk.info/slides/handler
- dl.acm.org/doi/10.1145/34
- discuss.ocaml.org/t/multicore-oc
- github.com/ocaml-multicor
Replying to
I know OCaml is working on multicore, but I hadn't looked at the details. That's much for the info on this and other topics.
1