Session types. Ostensibly, I’ve studied them for the past few years, so I should know something about them, right? I am gonna try and explain the foundations of session types, and along the way, there will be programs which crash, Victorian ladies having milk puddings, and tin can telephones.
https://wen.works/posts/2020-12-17-an-introduction-to-session-types.html
https://wen.works/posts/2020-12-17-an-introduction-to-session-types.html