Wie Session Types Deadlocks in Compiler-Fehler verwandeln
Session Types kodieren Kommunikationsprotokolle im Typsystem und verwandeln Message-Passing-Mismatches in Compiler-Fehler, bevor der Code jemals läuft.
Deadlocks sollten ein Runtime-Problem sein. Das ist es, was sie so ärgerlich macht. Ihr Code kompiliert sauber, Ihre Tests passieren, und dann verkeilt er sich…