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.
Session Types wurden 1993 erfunden. Dreißig Jahre später validieren die meisten vernetzten Services den protocol state immer noch mit handgeschriebenen…