u/bjzabaPikelet, Fathomin r/ProgrammingLanguages • Recommends
Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming
0:00 / 0:00
ML 2021 - Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming
ACM SIGPLAN
11K subscribers • 53 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
Advanced. Deep dive for people who know the field.
817 views5 years ago1 recommendation
Programming languagesSystems programmingFunctional programmingOperating systemsLanguage design and type systems
This talk presents a case study on using algebraic effect handlers to compose UNIX-like system interactions in a modular way.
icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/4/Co…Why it's here
1 person recommends thisu/bjzabaPikelet, Fathomin r/ProgrammingLanguages • Mentions
On “Worlds: Controlling the Scope of Side Effects”
A couple of things:
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).
Can you trust your dependencies to behave wrt. effects? Being explicit about the effects/capabilities can be a useful way of keeping track of…