How session types turn deadlocks into compiler errors
Session types encode communication protocols in your type system, turning message-passing mismatches into compiler errors before your code ever runs.
Deadlocks are supposed to be a runtime problem. That is what makes them so annoying. Your code compiles clean, your tests pass, and then it wedges itself in…