Safety ist eines der meistgebrauchten und zugleich am wenigsten präzisierten Schlagworte der aktuellen Debatte über Programmiersprachen. Kaum ein Begriff wird häufiger instrumentalisiert und seltener in seiner ganzen Tragweite betrachtet. In der öffentlichen Diskussion wird Safety oft auf Memory Safety reduziert, gelegentlich ergänzt um das Versprechen, ganze Fehlerklassen per Sprachdesign zu…