On: How to think about async/await in Rust

[sammko128]

Maybe take a look at pi-calculus and session types if you're not familiar, the notation you're describing sounds very similar/related to that

[samsquire → sammko128]

Thanks for your reply.

I am coming from the perspective of states and behaviour. I have read about session types but my syntax is not inspired by them.

Types are important and useful but I am more interested in the rigid parts of code that types data flow through otherwise known as control flow. I feel it's an ignored part of computer science.

My goal is easy parallelism, asynchronocity and reactivity.