Hacker News new | ask | show | jobs
by mafribe 4069 days ago
Good. Session types are not the only approach to typing interaction, although probably the simplest.