Session Types funktionieren. Die meisten Sprachen wollten sie einfach nicht implementieren.
Session Types kodieren communication protocols im Typsystem und verwandeln runtime protocol errors in Compile-Time-Fehler. Hier ist, warum sie dreißig Jahre in Forschungspapieren verbrachten, bevor Produktivcode sie nutzen konnte.
