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

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.