Our great sponsors
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Doing effects as in the paper, or as other approaches like in algebraic effects and handlers (Like in Koka, Multicore OCaml, Frank, etc) means that you can reinterpret how effects are executed as a way to do logging, undo, asynchronous scheduling, etc. Some of this stuff is mentioned in the paper. You can also see this neat example of making a toy time-sharing unix system in Links (talk here). OCaml has also done a bunch of cool stuff building handlers that let existing code take advantage of new APIs like iouring (talk here).
Doing effects as in the paper, or as other approaches like in algebraic effects and handlers (Like in Koka, Multicore OCaml, Frank, etc) means that you can reinterpret how effects are executed as a way to do logging, undo, asynchronous scheduling, etc. Some of this stuff is mentioned in the paper. You can also see this neat example of making a toy time-sharing unix system in Links (talk here). OCaml has also done a bunch of cool stuff building handlers that let existing code take advantage of new APIs like iouring (talk here).