Hacker News Reader

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

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