Comment Comment by SkyMarshal This sounds interesting:> Claro’s declarative, DAG-based structured concurrency model provides an easy-to-use abstraction to statically guarantee that programs are: Non-blocking Data-race free Deadlock free Optimally scheduled Scalable by default Any language that can simplify the static guarantees of all those is worth a look. parent SkyMarshal 2 years ago
> Claro’s declarative, DAG-based structured concurrency model provides an easy-to-use abstraction to statically guarantee that programs are:
Any language that can simplify the static guarantees of all those is worth a look.