Rust Async is Just Set Theory

Recently, while working on penplot , I was having an epiphany looking at async combinators. By “combinators”, I mean select , join , race , and any others that perform some generic-higher-level action across multiple futures, allowing for complex program flow within a task. These all have quite nice parallels in theoretical computer science, namely formal languages and more generally set theory.…