3 ms·
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
by sammko128 3y ago
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 3y agoThanks 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.