adoption

2 posts

statistical-debuggingchallengesadoptiondebugging

Statistical Debugging sollte das printf-Debugging beenden. Die meisten Teams haben es nie zum Laufen gebracht.

Statistical Debugging versprach, Bugs durch Korrelation von Programmverhalten mit Fehlern zu lokalisieren. Hier ist, warum die Idee nie von Forschungspapieren in Produktionssysteme überging.

Statistical Debugging sollte die -Ära beenden. Instrumentieren Sie Ihren Code, sammeln Sie Traces aus Tausenden von Durchläufen, führen Sie eine…
session-typesresearchadoptiontype-systems

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…