[danghica]

Indeed, I was going to talk about session types in a follow-on post :) Well anticipated! Cheers!

[mafribe]

Good. Session types are not the only approach to typing interaction, although probably the simplest.